aboutsummaryrefslogtreecommitdiff
path: root/frontend/comparedefimp.icl
AgeCommit message (Expand)AuthorFilesLines
2013-04-02add type constraints in constructors and function arguments with universal qu...johnvg1-34/+21
2012-08-14rename extendable to extensiblejohnvg1-3/+3
2012-08-14add extendable algebraic data types (merged from iTask branch)johnvg1-1/+11
2012-08-02add pattern match test using =: in expressions,johnvg1-0/+4
2011-11-08rename module StdCompare to compare_typesjohnvg1-1/+1
2011-11-07remove differences in layout between the compiler and the iTask compilerjohnvg1-37/+38
2011-04-21use strictness annotations in instance member types,johnvg1-68/+148
2011-04-15remove field icl_copied_from_dcl from type IclModulejohnvg1-10/+8
2011-04-14replace field dcl_macro_conversions by dcl_has_macro_conversions of type DclM...johnvg1-11/+7
2011-03-21remove unused field td_context from type TypeDefjohnvg1-4/+3
2009-04-29bug fix: initialize atype_vars1 as intendedjohnvg1-3/+3
2007-04-18also compare NewTypePatternsjohnvg1-0/+2
2007-04-18also compare SK_NewTypeConstructor'sjohnvg1-13/+10
2007-04-13implement newtypejohnvg1-8/+23
2007-03-08pass two lists to function init_atype_vars,johnvg1-10/+8
2007-03-08pass two lists to functions init_type_vars and init_attr_vars,johnvg1-29/+21
2005-04-22remove code for Clean 1.3johnvg1-13/+1
2003-11-04compare TFAjohnvg1-0/+3
2003-06-19compare lhs root attributes for type definitionsjohnvg1-2/+1
2003-06-19s/sd__ident/sd_ident/gronny1-2/+2
2003-06-13removed PA bug workaroundronny1-1/+1
2003-06-06Bug fixs in universally quantified types: Attribute variables of universal ty...sjakie1-0/+17
2003-05-16renamed field names of type Ident in syntax treeronny1-47/+47
2002-11-12bugs fixed in genericsalimarin1-0/+6
2002-10-18add boxed recordsjohnvg1-2/+2
2002-09-24bug fix for: abstract or synonym type with different numberjohnvg1-36/+44
2002-07-17add abstract synonym typesjohnvg1-0/+6
2002-06-17removed ignored !'sjohnvg1-2/+2
2002-06-11added comparison for TArrow and TArrow1 to comparedefimpalimarin1-0/+4
2002-04-11support for generic type context like inalimarin1-0/+9
2002-03-25new implementation of genericsalimarin1-5/+34
2002-03-20bug fix: prevent compiler crash if type in icl module hasjohnvg1-0/+3
2002-02-13compare strictness annotations of constructorsjohnvg1-1/+1
2002-02-08add missing alternatives in equal_strictness_lists andjohnvg1-9/+0
2002-02-06store strictness annotations in SymbolType instead of ATypejohnvg1-5/+46
2001-12-13remove tuple symbol from UniqueSelector (! selector) and MatchExprjohnvg1-4/+3
2001-12-05removed type from BasicExprjohnvg1-4/+2
2001-10-19fix bug in renumbering of specialsjohnvg1-10/+8
2001-10-18store macros and local functions in macros in separate {#{#FunDef}},johnvg1-236/+143
2001-10-08universally quantified attribute variables in typedefs addedsjakie1-17/+8
2001-10-02Bug fixes: reference count analysis fixed,sjakie1-5/+5
2001-09-21Bug fix: caching combined with omitted type and class definitionssjakie1-20/+351
2001-08-31added code for OverloadedListPatternsjohnvg1-0/+2
2001-05-11moving all switch macros to new module "compilerSwitches"martinw1-1/+1
2001-05-04satisfying John's pervert and bizarre wishes for better error messagesmartinw1-7/+39
2001-04-27*** empty log message ***martinw1-4/+4
2001-04-20*** empty log message ***martinw1-26/+30
2001-03-27unfold all macros and local functions in macrosjohnvg1-1/+28
2001-03-20Sjaak: fixed inheritance bugs and strictness attributessjakie1-1/+2
2001-03-15*** empty log message ***martinw1-0/+3
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-13 20:30:53 +0000