aboutsummaryrefslogtreecommitdiff
path: root/frontend/checksupport.icl
AgeCommit message (Collapse)AuthorFilesLines
2001-09-07moved function checkLocalFunctions from checksupport to checkFunctionBodiesjohnvg1-8/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@761 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-06remove 'dcl_is_cashed'johnvg1-1/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@758 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-06check if StdStrictLists is importedjohnvg1-1/+2
renamed cNeedStdDynamics as cNeedStdDynamic git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@747 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-05moved function getBelongingSymbolsFromID from checksupport to explicitimportsjohnvg1-14/+0
moved function get_ident from checksupport to check git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@741 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-27Universally quantified types addedsjakie1-1/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@676 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-25generate .depend for current dcl moduleronny1-1/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@504 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-15making kind checking phase compatible with dcl cachingmartinw1-0/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@482 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-04-20pepping up error messagesmartinw1-6/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@364 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-27unfold all macros and local functions in macrosjohnvg1-44/+105
changed Declaration type fixed crash when macro appears only in dcl module added make with caching in 'main' use BoxedIdent in hashtable git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@344 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-20Sjaak: fixed inheritance bugs and strictness attributessjakie1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@335 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-15*** empty log message ***martinw1-6/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@333 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-13Generics are added, but are disabled.alimarin1-5/+10
Tested with compiling Object IO and butstrapping. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@329 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-08Normalizingmartijnv1-1/+1
- type variables - passing a list of directly imported dcl modules by an icl modules git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@321 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-02making compiler self compilable (this doesn't say anything about themartinw1-1/+1
quality of the generated executable) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@314 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-02-13delaying "determineTypesOfInstances" and "checkSpecialsOfInstances" aftermartinw1-3/+12
checking of a whole dcl module component --> now cyclic module dependencies should work git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@294 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-01-19refactoringmartinw1-159/+57
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@290 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-01-12New algorithm for explicit imports that also works with cyclic module ↵martinw1-258/+207
dependencies git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@286 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-11-01improved code for explicit imports,martinw1-17/+23
moved all switches to syntax module git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@277 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-31bug fix in determining SK_LocalMacroFunction (instead of SK_Function)johnvg1-6/+8
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@274 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-27moving huge part of code out of check into new module checkFunctionBodiesmartinw1-0/+68
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@272 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-26removed tracemartinw1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@268 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-09-27optimizations and caching of dcl modules (without trans.icl)clean1-59/+170
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@232 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-06-20reduce memory allocationclean1-20/+94
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@175 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-06-15MW once added a macro called "SwitchUniquenessBug", Sjaak also added a macromartinw1-3/+0
"PA_BUG" for the same purpose. MW removes his macro _untertaenig_ in favour of Sjaaks version git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@165 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-05-31readableizing error messagesmartinw1-4/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@147 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-04-26changes to make compiler compatible with itselfmartinw1-41/+19
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@126 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-03-17 - making array patterns strict (strict lets were not properly handledmartinw1-0/+3
in "convertCasesOfFunctionsIntoPatterns" and "collectVariables") - new switch "SwitchUniquenessBug" in module checksupport - several bugfixes git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@114 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-03-01bugfixesmartinw1-14/+20
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@108 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-02-21- implemented comparison between redundant definitions in icl and dcl modulesmartinw1-0/+4
(new module: comparedefimp) - implemented array patterns. Further work: arrays are in lazy context (should be strict), currently only one dimensional arrays - optimised memory usage for explicit imports git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@94 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-01-04introduced new error message: "StdDynamics not imported"martinw1-1/+8
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@72 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-12-10bugfixesmartinw1-10/+13
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@63 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-11-15removed debugging outputsjakie1-4/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@51 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-11-12removed commentsjakie1-14/+11
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@47 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-11-12bug fixesmartinw1-2/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@46 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-11-10extension: not necessary to repeat definitions of dcl-module in icl-modulesjakie1-0/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@40 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-10-05Initial importronny1-0/+521
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-15 02:36:05 +0000