aboutsummaryrefslogtreecommitdiff
path: root/frontend/check.icl
AgeCommit message (Expand)AuthorFilesLines
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
2000-07-03no messageclean1-1/+4
2000-07-03no messageclean1-4/+1
2000-06-21solving the problem of strict aliases. Now a strict aliasmartinw1-19/+23
2000-06-16added error message "not a record constructor", e.g. in the following case:martinw1-0/+3
2000-06-16small changes to reduce memory allocationclean1-10/+14
2000-06-14optimisation: compareDefImp now only compares those definitions that aremartinw1-2/+9
2000-05-31readableizing error messagesmartinw1-3/+4
2000-05-26bugfix: The following letmartinw1-1/+2
2000-05-03bugfixmartinw1-6/+7
2000-04-26bugfixmartinw1-2/+1
2000-04-26Merge Martin/ Sjaak & Ronny branchesclean1-8/+30
2000-04-26changes to make compiler compatible with itselfmartinw1-169/+220
2000-03-30comparision of redundant macro definitionsmartinw1-2/+8
2000-03-24bugfixesmartinw1-22/+25
2000-03-17 - making array patterns strict (strict lets were not properly handledmartinw1-30/+26
2000-03-14extended array patterns for muitidimensional arraysmartinw1-15/+25
2000-02-21- implemented comparison between redundant definitions in icl and dcl modulesmartinw1-224/+351
2000-02-15bug fix (unboxed arrrays of records)ronny1-0/+2