aboutsummaryrefslogtreecommitdiff
path: root/frontend/type.icl
AgeCommit message (Expand)AuthorFilesLines
2003-06-18removed trace statementronny1-1/+1
2003-06-06Bug fixs in universally quantified types: Attribute variables of universal ty...sjakie1-0/+13
2003-05-16renamed field names of type Ident in syntax treeronny1-69/+69
2003-02-24added fusion of unboxed lists of records, movedjohnvg1-1/+1
2003-01-08Bug fix: uniqueness error in recordssjakie1-7/+13
2002-11-29remove // before some function type definitionsjohnvg1-3/+3
2002-11-13Removed bugs in analysis of abstract data types and adjusted typing of record...sjakie1-19/+69
2002-10-30Removed at least 4 bugs (maybe more, but i can't remember):sjakie1-1/+4
2002-10-14new type code and type code constructor representationronny1-2/+2
2002-10-07clear type propagation info from var heapdiederik1-0/+19
2002-09-24removed unused ts_td_infos field in two patternsjohnvg1-2/+2
2002-07-22expand all type synonyms in dynamicsronny1-6/+11
2002-07-12fix argument numbers in error messages of functions withjohnvg1-56/+83
2002-06-17removed ignored !'sjohnvg1-1/+1
2002-06-03added constructor/type/field information to genericsalimarin1-0/+1
2002-04-11support for generic type context like inalimarin1-4/+6
2002-04-03- collection of used type constructors in unify/coerce. There are two sources:martijnv1-9/+14
2002-03-25new implementation of genericsalimarin1-17/+28
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
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-17 08:12:38 +0000