aboutsummaryrefslogtreecommitdiff
path: root/frontend/generics.icl
AgeCommit message (Expand)AuthorFilesLines
2002-02-06store strictness annotations in SymbolType instead of ATypejohnvg1-6/+6
2002-01-17Bug fix: Scopes in dynamicssjakie1-1/+0
2001-12-13remove tuple symbol from UniqueSelector (! selector) and MatchExprjohnvg1-3/+3
2001-12-05removed type from BasicExprjohnvg1-13/+11
2001-11-30store predefined identifiers in CAFjohnvg1-8/+15
2001-11-29different representation of selector kind in Selectionronny1-2/+2
2001-11-21new explicit import syntaxjohnvg1-1/+6
2001-11-09collecting fi_callsalimarin1-39/+86
2001-11-01fixed strictness annotationronny1-1/+1
2001-10-19higher-order kinded types in genericsalimarin1-161/+472
2001-10-18make source clean 2.0 compatiblejohnvg1-14/+4
2001-10-18store macros and local functions in macros in separate {#{#FunDef}},johnvg1-21/+35
2001-10-02Bug fixes: reference count analysis fixed,sjakie1-4/+7
2001-09-24removed kind correctness checking modulesjakie1-13/+12
2001-09-21*** empty log message ***sjakie1-7/+8
2001-09-06added command line flag to enable genericsalimarin1-13/+0
2001-09-06remove fun_index from FunDefjohnvg1-1/+0
2001-09-06removed usage of fun_indexalimarin1-159/+529
2001-08-27universally quantified types addedsjakie1-2/+2
2001-08-27bug fixes, ModuleID argument in T_ypeConsSymbol, added _SystemDynamicmartijnv1-12/+16
2001-07-19Added "curried" arrow types (->) and ((->) a)alimarin1-294/+295
2001-06-22boolean for explicit cases (cases that are specified by the programmer)ronny1-0/+3
2001-06-20optimise && and ||johnvg1-5/+6
2001-06-15making kind checking phase compatible with dcl cachingmartinw1-2/+4
2001-06-14support for module system is added to genercisalimarin1-98/+244
2001-06-11Bug fix with array updates. Removed redundant code. Adjusted unification algo...sjakie1-2/+2
2001-05-10changed last field of CollectState into cos_used_dynamics which reflectsmartijnv1-1/+1
2001-05-10bug fixes:martijnv1-0/+3
2001-05-08added fields to cons_info and type_infoalimarin1-188/+320
2001-05-04Clean 2.0 compiler bug workaroundronny1-0/+6
2001-05-03added preliminary support for cons info by typealimarin1-90/+444
2001-04-27new error message for "instance c U":martinw1-2/+2
2001-04-25added support for constructors (for toString like usage),alimarin1-302/+786
2001-03-27uniqueness support is added to genericsalimarin1-219/+426
2001-03-23fixing several bugsmartinw1-10/+10
2001-03-20Sjaak: fixed inheritance bugs and strictness attributessjakie1-1/+2
2001-03-15*** empty log message ***martinw1-2/+1
2001-03-15Fixes to compile with 2.0alimarin1-92/+187
2001-03-13Generics are added, but are disabled.alimarin1-0/+2044
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-14 20:32:09 +0000