aboutsummaryrefslogtreecommitdiff
path: root/frontend/type.icl
AgeCommit message (Expand)AuthorFilesLines
2001-10-18store macros and local functions in macros in separate {#{#FunDef}},johnvg1-4/+4
2001-10-08universally quantified attribute variables in typedefs addedsjakie1-7/+26
2001-10-05Added existential attribute variables to type definitionssjakie1-48/+66
2001-10-03replace uniqueCopy with copyCoercionsronny1-8/+1
2001-10-03fixed type error by reintroducing uniqueCopyronny1-1/+8
2001-10-03eliminated cheat moduleronny1-2/+2
2001-10-02removed uniqueness errorssjakie1-2/+2
2001-10-02Bug fixes: reference count analysis fixed,sjakie1-37/+42
2001-09-21Bug fix: caching combined with omitted type and class definitionssjakie1-2/+2
2001-09-06bug fix: Improved unification algoritm for kindssjakie1-10/+10
2001-09-06remove fun_index from FunDefjohnvg1-6/+2
2001-09-06removed usage of fun_indexalimarin1-1/+17
2001-09-03comment out debug messagesjohnvg1-2/+2
2001-08-31type strict and unboxed listsjohnvg1-124/+248
2001-08-28Universally quantified types addedsjakie1-8/+15
2001-08-27Universally quantified types addedsjakie1-117/+198
2001-07-19Added "curried" arrow types (->) and ((->) a)alimarin1-3/+62
2001-06-27Sjaak: Improved dynamics, not yet finished.sjakie1-17/+24
2001-06-21bug fix: line numbers in type errors for let bindingsjohnvg1-16/+39
2001-06-11Bug fix with array updates. Removed redundant code. Adjusted unification algo...sjakie1-472/+313
2001-05-31fix bug in uniqueness typing for array updates with (a & [i ]= e} syntaxjohnvg1-27/+17
2001-05-11checking the kinds of all function-, instance-, class- and member-typesmartinw1-45/+1
2001-05-10bug fixes:martijnv1-4/+4
2001-05-04bugfix: formartinw1-31/+29
2001-04-27bugfix: the derived type formartinw1-4/+4
2001-03-28uniqueness support is added to genericsalimarin1-6/+9
2001-03-27unfold all macros and local functions in macrosjohnvg1-4/+42
2001-03-23fixing several bugsmartinw1-2/+2
2001-03-20Sjaak: fixed inheritance bugs and strictness attributessjakie1-2/+1
2001-03-13Generics are added, but are disabled.alimarin1-22/+69
2001-03-02making compiler self compilable (this doesn't say anything about themartinw1-1/+3
2001-03-01- type files worden aangemaakt (buggy)martijnv1-5/+5
2001-01-19uniqueness unification for types of functions that are generatedmartinw1-140/+65
2001-01-16Sjaak: No ideasjakie1-33/+2
2001-01-12New algorithm for explicit imports that also works with cyclic module depende...martinw1-1/+1
2000-11-01improved code for explicit imports,martinw1-1/+1
2000-10-26added error message e.g.martinw1-4/+56
2000-10-25now correct position information is given for error messagemartinw1-18/+28
2000-10-23renumber icl function and macro indices when unfoldingjohnvg1-8/+8
2000-10-04-added position information for let bindings for better error messagesmartinw1-54/+77
2000-09-27optimizations and caching of dcl modules (without trans.icl)clean1-42/+295
2000-09-20now "list inferred types" can print attributes alsomartinw1-9/+18
2000-09-12small bugfixmartinw1-0/+1
2000-08-18*** empty log message ***martinw1-0/+2
2000-08-15improved typing error messages: type variables are printed like "a" insteadmartinw1-26/+132
2000-08-10added position information to case defaults to improve type error messagesmartinw1-2/+19
2000-08-09added position information to case alternatives and changed the typingmartinw1-7/+145
2000-08-02comment MW3 removed; minor improvementssjakie1-64/+2
2000-08-01improving error messagesmartinw1-38/+105
2000-06-16small changes to reduce memory allocationclean1-3/+13
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-14 19:53:31 +0000