aboutsummaryrefslogtreecommitdiff
path: root/frontend/overloading.icl
AgeCommit message (Expand)AuthorFilesLines
2002-02-26Bug fix: Dictionary arguments were not passed correctly to other dictionariessjakie1-0/+12
2002-02-11- creation of {PV,UPV,UV}_Placeholder instead of P_laceholder. See predefmartijnv1-1/+1
2002-02-06store strictness annotations in SymbolType instead of ATypejohnvg1-38/+117
2002-02-04er worden nu universele type variabelen in de vorm van UP_laceHolder'smartijnv1-3/+7
2002-01-21bug fix: fold2St cannot deal with inifinite listsmartijnv1-4/+4
2002-01-17Bug fix: Scopes in dynamicssjakie1-6/+10
2001-12-20remove RWSDebug dependencyronny1-2/+0
2001-12-17solved multiple defined moduleIDs in letsmartijnv1-31/+42
2001-12-13remove tuple symbol from UniqueSelector (! selector) and MatchExprjohnvg1-2/+2
2001-12-05removed type from BasicExprjohnvg1-29/+25
2001-11-30store predefined identifiers in CAFjohnvg1-1/+2
2001-11-29different representation of selector kind in Selectionronny1-3/+3
2001-11-19Changes:martijnv1-1/+1
2001-10-18store macros and local functions in macros in separate {#{#FunDef}},johnvg1-8/+4
2001-10-02Bug fixes: reference count analysis fixed,sjakie1-1/+1
2001-09-21Bug fix: caching combined with omitted type and class definitionssjakie1-14/+3
2001-09-13Two fixes: (1) error with missing type contextssjakie1-5/+8
2001-09-07Bug fix: Stop after an overloading error occurredsjakie1-27/+31
2001-09-06remove fun_index from FunDefjohnvg1-4/+4
2001-09-06removed usage of fun_indexalimarin1-2/+11
2001-08-31added code for strict and unboxed listsjohnvg1-71/+189
2001-08-27Universally quantified types addedsjakie1-7/+4
2001-08-27bug fixes, ModuleID argument in T_ypeConsSymbol, added _SystemDynamicmartijnv1-8/+82
2001-07-19Added "curried" arrow types (->) and ((->) a)alimarin1-0/+6
2001-06-27Sjaak: Improved dynamics, not yet finished.sjakie1-234/+178
2001-06-15Bug fix. Free type variables were referenced but not defined.martijnv1-27/+41
2001-06-11Bug fix with array updates. Removed redundant code. Adjusted unification algo...sjakie1-1/+8
2001-05-30bug fix: arrays of unboxed functions are not allowedjohnvg1-1/+1
2001-05-10bug fixes:martijnv1-5/+5
2001-04-25added support for constructors (for toString like usage),alimarin1-1/+2
2001-03-27unfold all macros and local functions in macrosjohnvg1-1/+0
2001-03-23fixing several bugsmartinw1-4/+4
2001-03-20Sjaak: fixed inheritance bugs and strictness attributessjakie1-16/+16
2001-03-13Generics are added, but are disabled.alimarin1-1/+8
2001-03-05bugfix: added missing alternative for SK_LoaclMacroFunction (introduced for d...martinw1-0/+6
2001-03-01- type files worden aangemaakt (buggy)martijnv1-13/+24
2000-10-31Sjaak: Bug in instance types removed,sjakie1-23/+49
2000-10-23renumber icl function and macro indices when unfoldingjohnvg1-6/+4
2000-10-04-added position information for let bindings for better error messagesmartinw1-9/+30
2000-09-27optimizations and caching of dcl modules (without trans.icl)clean1-33/+43
2000-08-29adjusted treatment of lazy and strict array functionssjakie1-10/+33
2000-08-15improved typing error messages: type variables are printed like "a" insteadmartinw1-3/+8
2000-06-15update of dictionary typessjakie1-61/+72
2000-05-30fixed bugs; partially implemented type dependent functionsmartijnv1-109/+271
2000-05-22improved dynamicssjakie1-30/+78
2000-04-26fixed convert_reduced_context_to_expressionclean1-1/+1
2000-04-26Merge Martin/ Sjaak & Ronny branchesclean1-1/+1
2000-04-26changes to make compiler compatible with itselfmartinw1-126/+131
2000-03-20*** empty log message ***sjakie1-429/+474
2000-01-24Bug fix: specified overloaded types were not treated correctlysjakie1-24/+42