aboutsummaryrefslogtreecommitdiff
path: root/frontend/check.icl
AgeCommit message (Expand)AuthorFilesLines
2001-09-06check if StdStrictLists is importedjohnvg1-1/+4
2001-09-06remove fun_index from FunDefjohnvg1-34/+17
2001-09-06removed usage of fun_indexalimarin1-14/+20
2001-09-05moved function getBelongingSymbolsFromID from checksupport to explicitimportsjohnvg1-0/+7
2001-08-31allow specials for lazy and strict arrays and lists without specifying elemen...johnvg1-186/+178
2001-08-30added switch_dynamics in module compilerSwitches. Standard dynamics aremartijnv1-1/+12
2001-08-27universally quantified types addedsjakie1-2/+2
2001-08-27bug fixes, ModuleID argument in T_ypeConsSymbol, added _SystemDynamicmartijnv1-5/+7
2001-07-27patch to prevent crash with undefined type variabeles in special declarationronny1-0/+16
2001-07-19Added "curried" arrow types (->) and ((->) a)alimarin1-2/+5
2001-06-25generate .depend for current dcl moduleronny1-0/+4
2001-06-20optimise && and ||johnvg1-5/+13
2001-06-15making kind checking phase compatible with dcl cachingmartinw1-9/+12
2001-06-14support for module system is added to genercisalimarin1-44/+105
2001-06-11Bug fix with array updates. Removed redundant code. Adjusted unification algo...sjakie1-0/+1
2001-06-05for error messages in patterns use line number of the alternative,johnvg1-20/+16
2001-05-31added mechanism to generate a module id for each module. Fixed an indexmartijnv1-0/+22
2001-05-11checking the kinds of all function-, instance-, class- and member-typesmartinw1-51/+1
2001-05-10bug fixes:martijnv1-1/+1
2001-05-08added fields to cons_info and type_infoalimarin1-2/+4
2001-05-04satisfying John's pervert and bizarre wishes for better error messagesmartinw1-3/+14
2001-05-03added preliminary support for cons info by typealimarin1-0/+2
2001-04-27new error message for "instance c U":martinw1-21/+92
2001-04-25added support for constructors (for toString like usage),alimarin1-5/+23
2001-04-20pepping up error messagesmartinw1-12/+42
2001-03-27uniqueness support is added to genericsalimarin1-89/+28
2001-03-27unfold all macros and local functions in macrosjohnvg1-160/+235
2001-03-26added check for error after 'combineDclAndIclModule' tojohnvg1-3/+4
2001-03-23fixing several bugsmartinw1-269/+142
2001-03-20Sjaak: fixed inheritance bugs and strictness attributessjakie1-38/+18
2001-03-15*** empty log message ***martinw1-25/+14
2001-03-13Generics are added, but are disabled.alimarin1-42/+498
2001-03-12Ensure that modules that are imported from the main dcl module appearmartinw1-2/+4
2001-03-08Normalizingmartijnv1-11/+29
2001-03-02bugfix: the compiler gave "index out of range" when an instance was declaredmartinw1-2/+4
2001-03-02making compiler self compilable (this doesn't say anything about themartinw1-1/+4
2001-02-23including porting facilitiesmartinw1-183/+5
2001-02-22bugfix: explicit imports of instances did not work in conjunction with dclmartinw1-0/+18
2001-02-19bugfix: a function that made some types in StdArray.dcl more strict hadmartinw1-34/+45
2001-02-15DynamicTemp added to the compiler. You will be needing a newmartijnv1-2/+12
2001-02-13delaying "determineTypesOfInstances" and "checkSpecialsOfInstances" aftermartinw1-130/+166
2001-01-19bugfixing dcl cashing, expanding synonym types after a whole module componentmartinw1-196/+205
2001-01-12New algorithm for explicit imports that also works with cyclic module depende...martinw1-260/+918
2000-11-01improved code for explicit imports,martinw1-25/+16
2000-10-27moving huge part of code out of check into new module checkFunctionBodiesmartinw1-1966/+11
2000-10-26bug fix in copying abstract types from dcl module to icl modulejohnvg1-7/+8
2000-10-26added new error messagesmartinw1-3/+4
2000-10-23renumber icl function and macro indices when unfoldingjohnvg1-14/+49
2000-10-11added error messagesmartinw1-1/+12
2000-10-04-added position information for let bindings for better error messagesmartinw1-79/+97
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-14 15:40:53 +0000