aboutsummaryrefslogtreecommitdiff
path: root/frontend/check.icl
AgeCommit message (Expand)AuthorFilesLines
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
2000-09-27making compiler self compatiblemartinw1-16/+19
2000-09-27optimizations and caching of dcl modules (without trans.icl)clean1-203/+501
2000-09-20improving error messages:martinw1-9/+31
2000-09-13added position information for better error messagesmartinw1-14/+23
2000-08-15improved typing error messages: type variables are printed like "a" insteadmartinw1-8/+8
2000-08-10added position information to case defaults to improve type error messagesmartinw1-15/+24
2000-08-09added position information to case alternatives and changed the typingmartinw1-77/+106
2000-08-01improving error messagesmartinw1-11/+16
2000-07-14De predefined symbols worden in check.icl aangepast. Hetmartijnv1-0/+3
2000-07-10optimised consequence checking for explicit importsmartinw1-20/+43
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-14 19:59:43 +0000