aboutsummaryrefslogtreecommitdiff
path: root/frontend/checktypes.icl
AgeCommit message (Expand)AuthorFilesLines
2007-02-14implement qualified explicit importsjohnvg1-24/+133
2007-02-14remove unused codejohnvg1-22/+2
2005-11-24repair error introduced by previous revision (put symbol table back in state)johnvg1-2/+2
2005-11-24report error for constructors or records with >32 arguments/fieldsjohnvg1-15/+23
2005-04-20add universal attributes in fields of a record type to the st_attr_vars of thejohnvg1-4/+18
2005-02-01prevent compiler crash when a type variable with a ^ is used in ajohnvg1-7/+12
2004-03-17reification of type definitionsronny1-0/+1
2003-10-17added limited support for uniqueness attributes in dynamic typesronny1-4/+16
2003-06-19append a ";" after the name of the record of a dictionaryjohnvg1-2/+5
2003-06-19s/sd__ident/sd_ident/gronny1-1/+1
2003-05-16renamed field names of type Ident in syntax treeronny1-111/+111
2003-02-10- bug fix: generate an error for abstract datatypes in dynamic typesmartijnv1-4/+4
2003-02-10- bug fix: error for abstract datatypes in dynamic types.martijnv1-8/+16
2003-01-08Bug fix: uniqueness error in recordssjakie1-2/+8
2002-10-30Removed at least 4 bugs (maybe more, but i can't remember):sjakie1-7/+26
2002-10-18add boxed recordsjohnvg1-1/+1
2002-09-24fix bug if a class is used in a type context before the classjohnvg1-23/+28
2002-07-17add abstract synonym typesjohnvg1-0/+3
2002-07-11report an error if a type variable is defined more than once in after 'special'johnvg1-6/+19
2002-06-17removed ignored !'sjohnvg1-1/+1
2002-04-11support for generic type context like inalimarin1-69/+66
2002-03-25new implementation of genericsalimarin1-5/+10
2002-02-06fix bug when using type definition:johnvg1-1/+1
2002-02-06store strictness annotations in SymbolType instead of ATypejohnvg1-36/+71
2002-01-30Ik heb helaas geen flauw idee, maar deze files weken af van wat ik zelf had.sjakie1-12/+18
2002-01-17Bug fix: Scopes in dynamicssjakie1-14/+15
2001-12-17(partial) bug fix, order of class definition and context in another classronny1-4/+15
2001-10-18store macros and local functions in macros in separate {#{#FunDef}},johnvg1-34/+96
2001-10-11Bug fix: type attributes of constructor variables are treated (more) uniformlysjakie1-0/+6
2001-10-08universally quantified attribute variables in typedefs addedsjakie1-11/+17
2001-10-05Added existential attribute variables to type definitionssjakie1-13/+40
2001-09-24removed kind correctness checking modulesjakie1-100/+72
2001-09-21Bug fix: caching combined with omitted type and class definitionssjakie1-363/+145
2001-09-06bug fix: Improved unification algoritm for kindssjakie1-1/+2
2001-08-31add type for function checkSpecialTypesjohnvg1-4/+3
2001-08-30bug fix in universally quantified typessjakie1-1/+2
2001-08-27Universally quantified types addedsjakie1-111/+153
2001-07-19Added "curried" arrow types (->) and ((->) a)alimarin1-1/+91
2001-06-11Bug fix with array updates. Removed redundant code. Adjusted unification algo...sjakie1-4/+5
2001-05-18revision 1.31 was stupid nonsensemartinw1-1/+3
2001-05-11improving error messagemartinw1-1/+4
2001-05-10bug fixes:martijnv1-7/+7
2001-05-04bugfix: compiler crash atmartinw1-2/+2
2001-04-27bugfix: nowmartinw1-1/+1
2001-04-25added support for constructors (for toString like usage),alimarin1-2/+2
2001-04-20pepping up error messagesmartinw1-17/+17
2001-03-27uniqueness support is added to genericsalimarin1-4/+4
2001-03-27unfold all macros and local functions in macrosjohnvg1-2/+24
2001-03-26Return TE in 'bindtypes' for 'Type' instead of TA withjohnvg1-2/+2
2001-03-26bug fix in nfmartijnv1-1/+1
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-14 21:03:57 +0000