aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2001-02-09Removed pretty printing of types in instancesronny2-2/+9
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@293 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-01-19uniqueness unification for types of functions that are generatedmartinw12-727/+1023
during the transformation phase git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@292 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-01-19bugfixing dcl cashing, expanding synonym types after a whole module componentmartinw1-196/+205
has been checked, refactoring git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@291 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-01-19refactoringmartinw10-234/+301
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@290 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-01-19exploiting "reuse unique nodes" optionmartinw2-36/+78
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@289 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-01-16Sjaak: No ideasjakie1-33/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@288 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-01-16bug fix: some type context were not explicitly checkedsjakie1-48/+24
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@287 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-01-12New algorithm for explicit imports that also works with cyclic module ↵martinw18-926/+2202
dependencies git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@286 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-11-29more node_number=0 statementsclean1-0/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@285 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-11-23restored binary commitronny1-0/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@284 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-11-23exclude symbols from current dcl module from im_symbols (prevents multiple ↵ronny3-1/+10
record en constructor labels in abc) updated version git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@283 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-11-14small bugfixmartinw1-1/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@282 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-11-13Added initialisations of node_number fieldronny1-0/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@281 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-11-02optimizing performance of explicitimportsmartinw4-139/+152
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@280 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-11-02Sjaak: Bug in instance types removed,sjakie1-32/+23
Attributes in higher order type applications fixed. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@279 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-11-02Sjaak: uniqueness bug (concerning hio-types) removedsjakie1-2/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@278 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-11-01improved code for explicit imports,martinw13-629/+490
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-11-01changes were necessary due to different numberings due to caching of dclmartinw1-6/+15
modules (now indices in dcl macros point to dcl indices) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@276 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-11-01no messagejohnvg7-58/+476
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@275 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-31bug fix in determining SK_LocalMacroFunction (instead of SK_Function)johnvg3-15/+15
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@274 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-31Sjaak: Bug in instance types removed,sjakie2-213/+67
Attributes in higher order type applications fixed. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@273 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-27moving huge part of code out of check into new module checkFunctionBodiesmartinw6-1975/+2075
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@272 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-26bug fix in copying abstract types from dcl module to icl modulejohnvg1-7/+8
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@271 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-26added new error messagesmartinw3-10/+46
"context restriction not allowed for fully polymorph instance" and "context restriction equals instance type" git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@270 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-26added new macro "unsafeFold2St"martinw2-0/+16
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@269 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-10-26added error message e.g.martinw1-4/+56
"argument 1 of type T expected kind * -> *" git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@267 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-25return cache if compilation stops after a certain phase (for Maarten)johnvg1-7/+7
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@266 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-25now correct position information is given for error messagemartinw1-18/+28
"instance type should be coercible" git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@265 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-25improved storing position informationmartinw1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@264 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-25removing some superflous numbers from error messagesmartinw1-6/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@263 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-25adding error message:left root * attribute expectedmartinw1-2/+78
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@262 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-23no messageclean1-0/+16
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@261 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-23bug fix in adjustArrayFunctionsclean1-16/+33
renumber icl function and macro indices when unfolding dcl macros in icl functions and macros git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@260 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-23renumber icl function and macro indices when unfoldingjohnvg12-430/+549
dcl macros in icl functions and macros removed expanded macros from groups (s.c.components) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@259 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-18improving filename and line number for the following error messages:martinw1-4/+8
"incorrect module header" "module name ??? does not match file name" git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@258 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-18moved 3 arguments of expand to ExpandStatejohnvg2-209/+151
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@257 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-11added error messagesmartinw2-2/+14
"first argument of infix operator missing" and "second argument of infix operator missing" git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@256 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-11adjusting this module to cashing of dcl modulesmartinw1-47/+28
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@255 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-06bugfixmartinw1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@254 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-05added assertion alert box for Windowsronny1-0/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@253 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-05Added assertion alert box for Windowsronny1-1/+12
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@252 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-05sources in one folder, pruned frontend sourcesronny1-0/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@251 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-05Added BESetMainDclModuleN, updated versionronny4-104/+117
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@250 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-05Added BESetMainDclModuleN, updatet versionronny1-1/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@249 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-04-added position information for let bindings for better error messagesmartinw13-253/+484
(changes are commented with "MW0") git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@248 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-04added new function to print function names like "c;102;13" as "comprehesion ↵martinw2-1/+36
[line 102]" git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@247 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-04-added position information for let bindings for better error messagesmartinw3-69/+144
-bugfix: some SK_LocalMacroFun patterns were missing -bugfix: newly generated functions were placed into wrong components -bugfix: functions were wrongly specialized git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@246 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-03use DclCache typejohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@245 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-03pass dcl cache using DclCache typejohnvg2-81/+76
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@244 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d