aboutsummaryrefslogtreecommitdiff
path: root/frontend/type.icl
AgeCommit message (Expand)AuthorFilesLines
2002-03-04add missing case for TAS constructor (for strict lists)johnvg1-1/+3
2002-02-06store strictness annotations in SymbolType instead of ATypejohnvg1-104/+173
2002-01-30Ik heb helaas geen flauw idee, maar deze files weken af van wat ik zelf had.sjakie1-52/+95
2002-01-17Bug fix: Scopes in dynamicssjakie1-13/+18
2001-12-17implement pattern matching of strict, unboxed and overloaded listsjohnvg1-11/+17
2001-12-13remove tuple symbol from UniqueSelector (! selector) and MatchExprjohnvg1-11/+10
2001-12-12enforce that CAFs are non-uniqueronny1-6/+6
2001-12-11pass SymbIdent instead of Ident to requirements_of_args tojohnvg1-3/+3
2001-12-05removed type from BasicExprjohnvg1-29/+44
2001-12-03bug fix: uniqueness error in nested record/array updatesronny1-12/+41
2001-11-30store predefined identifiers in CAFjohnvg1-5/+10
2001-11-29different representation of selector kind in Selectionronny1-3/+3
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
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-14 19:55:13 +0000