aboutsummaryrefslogtreecommitdiff
path: root/frontend/unitype.icl
AgeCommit message (Expand)AuthorFilesLines
2013-04-02add type constraints in constructors and function arguments with universal qu...johnvg1-91/+83
2012-08-02add pattern match test using =: in expressions,johnvg1-6/+5
2011-11-08rename module StdCompare to compare_typesjohnvg1-1/+1
2011-11-08remove unnecessary imports of module check,johnvg1-1/+1
2011-11-04remove differences in layout between the compiler and the iTask compilerjohnvg1-18/+9
2011-04-19use unique array select and update instead of replacejohnvg1-8/+6
2009-06-05remove some commentsjohnvg1-10/+6
2007-04-13implement newtypejohnvg1-7/+9
2005-09-16make line number in thejohnvg1-7/+166
2005-04-21remove unused variable sjohnvg1-1/+0
2003-06-13removed PA bug workaroundronny1-12/+0
2003-05-16renamed field names of type Ident in syntax treeronny1-9/+9
2002-10-30Removed at least 4 bugs (maybe more, but i can't remember):sjakie1-9/+7
2002-02-06store strictness annotations in SymbolType instead of ATypejohnvg1-106/+185
2001-10-03replace uniqueCopy with copyCoercionsronny1-0/+22
2001-10-03eliminated cheat moduleronny1-1/+1
2001-10-02Bug fixes: reference count analysis fixed,sjakie1-2/+2
2001-09-21Bug fix: caching combined with omitted type and class definitionssjakie1-1/+2
2001-08-27Universally quantified types addedsjakie1-7/+36
2001-07-19Added "curried" arrow types (->) and ((->) a)alimarin1-1/+52
2001-06-27Sjaak: Improved dynamics, not yet finished.sjakie1-0/+2
2001-06-11Bug fix with array updates. Removed redundant code. Adjusted unification algo...sjakie1-387/+196
2001-05-11moving all switch macros to new module "compilerSwitches"martinw1-1/+2
2001-03-27unfold all macros and local functions in macrosjohnvg1-3/+3
2001-01-19uniqueness unification for types of functions that are generatedmartinw1-33/+18
2000-11-02Sjaak: Bug in instance types removed,sjakie1-32/+23
2000-10-31Sjaak: Bug in instance types removed,sjakie1-190/+18
2000-09-27optimizations and caching of dcl modules (without trans.icl)clean1-19/+510
2000-08-15improved typing error messages: type variables are printed like "a" insteadmartinw1-53/+10
2000-08-01improving error messagesmartinw1-2/+13
2000-06-16small changes to reduce memory allocationclean1-2/+7
2000-06-15update of dictionary typessjakie1-3/+3
2000-04-26changes to make compiler compatible with itselfmartinw1-130/+120
2000-02-07commit for Sjaak by RWSsjakie1-51/+77
2000-01-17Bug fixessjakie1-9/+8
1999-12-01Several bug fixes:sjakie1-4/+24
1999-11-11bug fix: uniqueness inference (coerce in unitype)sjakie1-1/+3
1999-10-20No ideasjakie1-31/+14
1999-10-19removed commentsjakie1-1/+0
1999-10-19extension: improved error messages for uniqueness typessjakie1-123/+77
1999-10-18lots of changes in module trans to make fusion work.martinw1-0/+1
1999-10-05Initial importronny1-0/+795
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-13 20:00:11 +0000