aboutsummaryrefslogtreecommitdiff
path: root/frontend
AgeCommit message (Collapse)AuthorFilesLines
2001-03-12Ensure that modules that are imported from the main dcl module appearmartinw1-2/+4
in ".depend" instructions in abc files git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@323 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-12made module name optionalmartijnv3-110/+307
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@322 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-08Normalizingmartijnv13-60/+243
- 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-06bugfix; selecting a value from a DynamicTemp still used the tuplemartijnv1-91/+5
selector which of course is totally wrong. In the old implementation it worked. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@320 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-05bugfix: added missing alternative for SK_LoaclMacroFunction (introduced for ↵martinw1-0/+6
dcl cashing) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@319 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-05Bug fixing in module type_io. It now seems to generate themartijnv1-122/+62
proper type information. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@318 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-02bugfix: the compiler gave "index out of range" when an instance was declaredmartinw1-2/+4
without the corresponding class being declared git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@317 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-02bugfix for specialisationsmartinw3-37/+67
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@316 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-02no messagemartijnv1-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@315 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-02making compiler self compilable (this doesn't say anything about themartinw8-34/+19
quality of the generated executable) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@314 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-02bugfix: compiler couldn't detect following inconsistency:martinw1-16/+9
dcl: f :== 1 icl: f = 1 git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@313 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-02no messagemartijnv1-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@310 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-02no messagemartijnv1-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@309 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-01- type files worden aangemaakt (buggy)martijnv12-50/+952
- type namen worden gesuffixed met hun definierde module naam git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@307 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-02-23dummy stub for porting facilities. The module that actually doesmartinw2-0/+46
smoething if porting is desired is in the portToNewSyntax folder git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@305 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-02-23including porting facilitiesmartinw3-190/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@303 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-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 ↵martinw17-918/+2194
dependencies git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@286 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-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-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
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-15 03:31:37 +0000