aboutsummaryrefslogtreecommitdiff
path: root/frontend/analunitypes.icl
AgeCommit message (Expand)AuthorFilesLines
2013-04-02add type constraints in constructors and function arguments with universal qu...johnvg1-0/+4
2012-08-14rename extendable to extensiblejohnvg1-2/+2
2012-08-14add extendable algebraic data types (merged from iTask branch)johnvg1-0/+8
2011-11-10move type TypeCodeVariableInfo to module syntax, remove type DynamicValueAlia...johnvg1-1/+1
2011-11-08rename module StdCompare to compare_typesjohnvg1-1/+1
2011-11-08remove unnecessary imports of module check,johnvg1-2/+2
2011-11-04remove differences in layout between the compiler and the iTask compilerjohnvg1-13/+4
2007-04-13implement newtypejohnvg1-2/+15
2003-05-16renamed field names of type Ident in syntax treeronny1-8/+8
2003-01-08Bug fix: uniqueness error in recordssjakie1-1/+3
2002-11-13Removed bugs in analysis of abstract data types and adjusted typing of record...sjakie1-1/+1
2002-10-30Removed at least 4 bugs (maybe more, but i can't remember):sjakie1-3/+8
2002-07-17add abstract synonym typesjohnvg1-1/+6
2002-03-08remove unused argument td_args from functionsjohnvg1-21/+17
2002-02-06store strictness annotations in SymbolType instead of ATypejohnvg1-11/+25
2001-10-18store macros and local functions in macros in separate {#{#FunDef}},johnvg1-3/+5
2001-09-21*** empty log message ***sjakie1-32/+32
2001-08-28universally quantified types addedsjakie1-7/+10
2001-01-19uniqueness unification for types of functions that are generatedmartinw1-3/+5
2000-09-27optimizations and caching of dcl modules (without trans.icl)clean1-3/+2
2000-04-26Merge Martin/ Sjaak & Ronny branchesclean1-3/+9
2000-04-26changes to make compiler compatible with itselfmartinw1-268/+402
2000-03-20*** empty log message ***sjakie1-1/+1
2000-02-16buf fix (dictionary types in dcl modules)sjakie1-5/+9
2000-02-07commit for Sjaak by RWSsjakie1-1/+1
1999-10-05Initial importronny1-0/+402
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-13 16:00:44 +0000