aboutsummaryrefslogtreecommitdiff
path: root/frontend/type.icl
AgeCommit message (Expand)AuthorFilesLines
2007-09-10rename NormalSelectorUniqueElementResult as UniqueSelectorUniqueElementResult,johnvg1-25/+31
2007-04-13implement newtypejohnvg1-10/+55
2007-04-12implement {# and {! in array comprehensions that create a new arrayjohnvg1-0/+9
2007-04-11remove function updateDynamics, it is unused because over_infojohnvg1-36/+22
2007-04-11remove cons_index field in pattern in functions that do not use this fieldjohnvg1-6/+3
2007-02-14implement qualified explicit importsjohnvg1-25/+33
2005-11-01prevent crash in 'requirements_of_args' afterjohnvg1-5/+6
2005-11-01fix type error for correct programs using type synonyms with a type variable ...johnvg1-11/+13
2005-10-11print types in error messages: 'derived type conflicts with specified type' andjohnvg1-16/+16
2005-04-21remove support for 1.3 import syntaxjohnvg1-1/+1
2005-04-20function clear_attributes in function freshSymbolType was not calledjohnvg1-1/+1
2005-01-31bug for for update of records with existential variable(s): compare indicesjohnvg1-20/+17
2005-01-21prevent compiler crash in function requirements_of_fields whenjohnvg1-8/+12
2005-01-20first print derived type, then specified type, in error messagejohnvg1-3/+3
2003-09-16removed boolean result from substituteType and substitute: theyronny1-2/+2
2003-08-19removed unused administrationsronny1-26/+23
2003-06-26bug fix: forbid overload CAFs (fixes bug #22)ronny1-2/+10
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
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-17 02:34:41 +0000