| 2009-07-23 |
wenzelm |
2009-07-23 |
paramify_vars: Term_Subst.map_atypsT_same
recovered coding conventions of this module;
|
file | diff | annotate |
| 2009-07-23 |
berghofe |
2009-07-23 |
Purely functional type inference.
|
file | diff | annotate |
| 2009-07-17 |
wenzelm |
2009-07-17 |
tuned;
|
file | diff | annotate |
| 2009-07-14 |
wenzelm |
2009-07-14 |
tuned paramify_vars: Term_Subst.map_atypsT_option;
|
file | diff | annotate |
| 2009-07-09 |
wenzelm |
2009-07-09 |
renamed structure TermSubst to Term_Subst;
|
file | diff | annotate |
| 2009-02-27 |
wenzelm |
2009-02-27 |
eliminated NJ's List.nth;
|
file | diff | annotate |
| 2009-01-21 |
wenzelm |
2009-01-21 |
removed Ids;
|
file | diff | annotate |
| 2008-06-18 |
wenzelm |
2008-06-18 |
improved error output -- variant/mark bounds;
simplified infer_types -- always freeze, no result substitution;
|
file | diff | annotate |
| 2007-10-04 |
wenzelm |
2007-10-04 |
replaced literal 'a by Name.aT;
|
file | diff | annotate |
| 2007-09-29 |
wenzelm |
2007-09-29 |
added fixate_params;
type_infer: freeze_mode = NONE keeps inference parameters in result;
type_infer: observe Variable.maxidx_of;
|
file | diff | annotate |
| 2007-09-23 |
wenzelm |
2007-09-23 |
constrain: canonical argument order;
removed obsolete logicT;
|
file | diff | annotate |
| 2007-08-31 |
wenzelm |
2007-08-31 |
exported is_param;
|
file | diff | annotate |
| 2007-08-30 |
wenzelm |
2007-08-30 |
infer_types: general check_typs instead of Type.cert_typ_mode;
|
file | diff | annotate |
| 2007-08-14 |
wenzelm |
2007-08-14 |
infer_types: depend on Type.mode;
|
file | diff | annotate |
| 2007-04-23 |
wenzelm |
2007-04-23 |
added paramify_vars;
infer: replace params uniformly (notably freeze);
|
file | diff | annotate |
| 2007-04-15 |
wenzelm |
2007-04-15 |
moved get_sort to sign.ML;
moved decode_types to Syntax/type_ext.ML;
moved mixfixT to Syntax/mixfix.ML;
proper infer_types, without decode/name lookup;
tuned;
|
file | diff | annotate |
| 2007-04-14 |
wenzelm |
2007-04-14 |
tuned comment;
|
file | diff | annotate |
| 2007-04-14 |
wenzelm |
2007-04-14 |
Term.string_of_vname;
|
file | diff | annotate |
| 2006-10-04 |
haftmann |
2006-10-04 |
insert replacing ins ins_int ins_string
|
file | diff | annotate |
| 2006-09-27 |
wenzelm |
2006-09-27 |
internal params: Vartab instead of AList;
|
file | diff | annotate |
| 2006-09-21 |
wenzelm |
2006-09-21 |
tuned;
|
file | diff | annotate |
| 2006-07-19 |
wenzelm |
2006-07-19 |
Name.context for used'';
|
file | diff | annotate |
| 2006-07-11 |
wenzelm |
2006-07-11 |
Name.invent_list;
|
file | diff | annotate |
| 2006-05-05 |
wenzelm |
2006-05-05 |
added syntax for _type_constraint_;
|
file | diff | annotate |
| 2006-04-27 |
wenzelm |
2006-04-27 |
tuned basic list operators (flat, maps, map_filter);
|
file | diff | annotate |
| 2006-04-25 |
wenzelm |
2006-04-25 |
refer to structure Type instead of Sorts;
|
file | diff | annotate |
| 2006-02-15 |
wenzelm |
2006-02-15 |
removed distinct, renamed gen_distinct to distinct;
|
file | diff | annotate |
| 2006-02-11 |
wenzelm |
2006-02-11 |
tuned;
|
file | diff | annotate |
| 2006-02-10 |
wenzelm |
2006-02-10 |
decode: observe Syntax.constN;
|
file | diff | annotate |
| 2006-02-07 |
wenzelm |
2006-02-07 |
renamed gen_duplicates to duplicates;
|
file | diff | annotate |
| 2006-02-06 |
wenzelm |
2006-02-06 |
tuned;
|
file | diff | annotate |
| 2005-12-02 |
wenzelm |
2005-12-02 |
added mixfixT;
paramify_dummies: treat dummyT as well, tuned;
|
file | diff | annotate |
| 2005-09-20 |
haftmann |
2005-09-20 |
slight adaptions to library changes
|
file | diff | annotate |
| 2005-09-06 |
wenzelm |
2005-09-06 |
AList.defined;
|
file | diff | annotate |
| 2005-09-06 |
haftmann |
2005-09-06 |
introduced some new-style AList operations
|
file | diff | annotate |
| 2005-07-01 |
wenzelm |
2005-07-01 |
avoid polyeq;
|
file | diff | annotate |
| 2005-06-11 |
wenzelm |
2005-06-11 |
accomodate changed #classes;
|
file | diff | annotate |
| 2005-06-02 |
wenzelm |
2005-06-02 |
tuned;
|
file | diff | annotate |
| 2005-03-03 |
skalberg |
2005-03-03 |
Move towards standard functions.
|
file | diff | annotate |
| 2005-02-13 |
skalberg |
2005-02-13 |
Deleted Library.option type.
|
file | diff | annotate |
| 2004-06-22 |
wenzelm |
2004-06-22 |
tuned certify_typ/term;
|
file | diff | annotate |
| 2004-06-21 |
wenzelm |
2004-06-21 |
Type.cert_typ;
|
file | diff | annotate |
| 2004-06-01 |
wenzelm |
2004-06-01 |
removed obsolete sort 'logic';
|
file | diff | annotate |
| 2004-05-29 |
wenzelm |
2004-05-29 |
improved output; refer to Pretty.pp;
|
file | diff | annotate |
| 2004-05-21 |
wenzelm |
2004-05-21 |
incorporate type inference interface from type.ML;
|
file | diff | annotate |
| 2004-05-01 |
wenzelm |
2004-05-01 |
improved Term.invent_names;
|
file | diff | annotate |
| 2002-10-21 |
berghofe |
2002-10-21 |
Replaced variantlist (quadratic) by gen_names (linear).
|
file | diff | annotate |
| 2002-10-07 |
nipkow |
2002-10-07 |
take/drop -> splitAt
|
file | diff | annotate |
| 2000-03-30 |
wenzelm |
2000-03-30 |
support polymorphic Vars;
|
file | diff | annotate |
| 2000-01-05 |
wenzelm |
2000-01-05 |
support for dummy variables (anyT, logicT);
improved error msg: meet *before* assign;
|
file | diff | annotate |
| 1999-09-29 |
wenzelm |
1999-09-29 |
handle Sorts.DOMAIN;
|
file | diff | annotate |
| 1998-10-09 |
nipkow |
1998-10-09 |
Unified treatment of type error msgs.
|
file | diff | annotate |
| 1998-10-09 |
nipkow |
1998-10-09 |
More pretty breaks in error msgs.
|
file | diff | annotate |
| 1998-05-25 |
wenzelm |
1998-05-25 |
remove seq2, scan (use seq2, foldl_map from library.ML);
|
file | diff | annotate |
| 1997-10-06 |
wenzelm |
1997-10-06 |
eliminated raise_term, raise_typ;
|
file | diff | annotate |
| 1997-07-09 |
wenzelm |
1997-07-09 |
improved type checking errors;
|
file | diff | annotate |
| 1997-04-18 |
wenzelm |
1997-04-18 |
tuned err msg;
|
file | diff | annotate |
| 1997-04-17 |
wenzelm |
1997-04-17 |
tuned error msgs;
|
file | diff | annotate |
| 1997-04-17 |
wenzelm |
1997-04-17 |
improved type check error messages;
|
file | diff | annotate |
| 1997-04-16 |
wenzelm |
1997-04-16 |
Type inference (isolated from type.ML, completely reimplemented).
|
file | diff | annotate |