aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2001-02-23including porting facilitiesmartinw4-190/+18
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@303 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-02-23temporary hack: redirect basic type Dynamic to DynamicTemp from StdDynamicronny4-3/+36
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@302 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-02-23absolutely unimportantmartinw1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@301 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-02-22bugfix: explicit imports of instances did not work in conjunction with dclmartinw3-10/+22
caching git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@300 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-02-19bugfix: a function that made some types in StdArray.dcl more strict hadmartinw1-34/+45
to be delayed until a whole dcl module component has been checked git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@299 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-02-16just removing commentmartinw1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@298 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-02-15DynamicTemp added to the compiler. You will be needing a newmartijnv4-28/+179
StdEnv 2.0 in which DynamicTemp is added. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@297 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-02-14bugfix: the algorithm couldn't handle applications that were (curried)martinw1-4/+12
macros although their symb_kind was SK_Function (instead of SK_Macro) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@296 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-02-14just setting the switch for import syntax from "2.0" back to "1.3"martinw2-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@295 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-02-13delaying "determineTypesOfInstances" and "checkSpecialsOfInstances" aftermartinw16-416/+310
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-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