Age | Commit message (Expand) | Author | Files | Lines |
2013-04-08 | add generic function dependencies for generic function definitions, | johnvg | 1 | -12/+65 |
2013-04-02 | add type constraints in constructors and function arguments with universal qu... | johnvg | 1 | -34/+21 |
2012-08-14 | rename extendable to extensible | johnvg | 1 | -3/+3 |
2012-08-14 | add extendable algebraic data types (merged from iTask branch) | johnvg | 1 | -1/+11 |
2012-08-02 | add pattern match test using =: in expressions, | johnvg | 1 | -0/+4 |
2011-11-08 | rename module StdCompare to compare_types | johnvg | 1 | -1/+1 |
2011-11-07 | remove differences in layout between the compiler and the iTask compiler | johnvg | 1 | -37/+38 |
2011-04-21 | use strictness annotations in instance member types, | johnvg | 1 | -68/+148 |
2011-04-15 | remove field icl_copied_from_dcl from type IclModule | johnvg | 1 | -10/+8 |
2011-04-14 | replace field dcl_macro_conversions by dcl_has_macro_conversions of type DclM... | johnvg | 1 | -11/+7 |
2011-03-21 | remove unused field td_context from type TypeDef | johnvg | 1 | -4/+3 |
2009-04-29 | bug fix: initialize atype_vars1 as intended | johnvg | 1 | -3/+3 |
2007-04-18 | also compare NewTypePatterns | johnvg | 1 | -0/+2 |
2007-04-18 | also compare SK_NewTypeConstructor's | johnvg | 1 | -13/+10 |
2007-04-13 | implement newtype | johnvg | 1 | -8/+23 |
2007-03-08 | pass two lists to function init_atype_vars, | johnvg | 1 | -10/+8 |
2007-03-08 | pass two lists to functions init_type_vars and init_attr_vars, | johnvg | 1 | -29/+21 |
2005-04-22 | remove code for Clean 1.3 | johnvg | 1 | -13/+1 |
2003-11-04 | compare TFA | johnvg | 1 | -0/+3 |
2003-06-19 | compare lhs root attributes for type definitions | johnvg | 1 | -2/+1 |
2003-06-19 | s/sd__ident/sd_ident/g | ronny | 1 | -2/+2 |
2003-06-13 | removed PA bug workaround | ronny | 1 | -1/+1 |
2003-06-06 | Bug fixs in universally quantified types: Attribute variables of universal ty... | sjakie | 1 | -0/+17 |
2003-05-16 | renamed field names of type Ident in syntax tree | ronny | 1 | -47/+47 |
2002-11-12 | bugs fixed in generics | alimarin | 1 | -0/+6 |
2002-10-18 | add boxed records | johnvg | 1 | -2/+2 |
2002-09-24 | bug fix for: abstract or synonym type with different number | johnvg | 1 | -36/+44 |
2002-07-17 | add abstract synonym types | johnvg | 1 | -0/+6 |
2002-06-17 | removed ignored !'s | johnvg | 1 | -2/+2 |
2002-06-11 | added comparison for TArrow and TArrow1 to comparedefimp | alimarin | 1 | -0/+4 |
2002-04-11 | support for generic type context like in | alimarin | 1 | -0/+9 |
2002-03-25 | new implementation of generics | alimarin | 1 | -5/+34 |
2002-03-20 | bug fix: prevent compiler crash if type in icl module has | johnvg | 1 | -0/+3 |
2002-02-13 | compare strictness annotations of constructors | johnvg | 1 | -1/+1 |
2002-02-08 | add missing alternatives in equal_strictness_lists and | johnvg | 1 | -9/+0 |
2002-02-06 | store strictness annotations in SymbolType instead of AType | johnvg | 1 | -5/+46 |
2001-12-13 | remove tuple symbol from UniqueSelector (! selector) and MatchExpr | johnvg | 1 | -4/+3 |
2001-12-05 | removed type from BasicExpr | johnvg | 1 | -4/+2 |
2001-10-19 | fix bug in renumbering of specials | johnvg | 1 | -10/+8 |
2001-10-18 | store macros and local functions in macros in separate {#{#FunDef}}, | johnvg | 1 | -236/+143 |
2001-10-08 | universally quantified attribute variables in typedefs added | sjakie | 1 | -17/+8 |
2001-10-02 | Bug fixes: reference count analysis fixed, | sjakie | 1 | -5/+5 |
2001-09-21 | Bug fix: caching combined with omitted type and class definitions | sjakie | 1 | -20/+351 |
2001-08-31 | added code for OverloadedListPatterns | johnvg | 1 | -0/+2 |
2001-05-11 | moving all switch macros to new module "compilerSwitches" | martinw | 1 | -1/+1 |
2001-05-04 | satisfying John's pervert and bizarre wishes for better error messages | martinw | 1 | -7/+39 |
2001-04-27 | *** empty log message *** | martinw | 1 | -4/+4 |
2001-04-20 | *** empty log message *** | martinw | 1 | -26/+30 |
2001-03-27 | unfold all macros and local functions in macros | johnvg | 1 | -1/+28 |
2001-03-20 | Sjaak: fixed inheritance bugs and strictness attributes | sjakie | 1 | -1/+2 |