aboutsummaryrefslogtreecommitdiff
path: root/frontend/type.icl
AgeCommit message (Expand)AuthorFilesLines
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
2000-06-15update of dictionary typessjakie1-28/+35
2000-06-05removed ---> applicationmartijnv1-1/+1
2000-05-30fixed bugs; partially implemented type dependent functionsmartijnv1-14/+14
2000-05-22improved dynamicssjakie1-3/+3
2000-04-26Merge Martin/ Sjaak & Ronny branchesclean1-84/+50
2000-04-26changes to make compiler compatible with itselfmartinw1-46/+52
2000-03-24bugfixesmartinw1-18/+62
2000-03-20*** empty log message ***sjakie1-75/+86
2000-02-21- implemented comparison between redundant definitions in icl and dcl modulesmartinw1-4/+0
2000-02-15bug fix (unboxed arrrays of records)ronny1-14/+30
2000-02-07commit for Sjaak by RWSsjakie1-28/+27
2000-01-24Bug fix: specified overloaded types were not treated correctlysjakie1-7/+8
2000-01-19bug fix (changed syntax tree)sjakie1-3/+4
2000-01-17Bug fixessjakie1-5/+20
1999-11-12minor bug fix, some code polishingsjakie1-295/+309
1999-10-29*** empty log message ***sjakie1-1/+1
1999-10-29Bugfix: types in cases and lets are adjusted according to the specified type.sjakie1-5/+7
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-14 19:53:59 +0000