aboutsummaryrefslogtreecommitdiff
path: root/frontend
AgeCommit message (Collapse)AuthorFilesLines
2001-03-29small bug reported by Ronny repairedmartijnv1-6/+7
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@353 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-28added TVI_Normalizedmartijnv2-0/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@348 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-28minor changes to files associated with dynamics. Most notably is themartijnv5-241/+303
use of the TypeVarHeap. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@347 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-28uniqueness support is added to genericsalimarin4-23/+9
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@346 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-27uniqueness support is added to genericsalimarin9-358/+490
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@345 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-27unfold all macros and local functions in macrosjohnvg23-527/+1102
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-26Return TE in 'bindtypes' for 'Type' instead of TA withjohnvg1-2/+2
incorrect module and type index when the symbol is not defined or used with incorrect arity. This prevents a crash later in the compiler when the type is used again when expanding type synonyms resulting in an 'index out of range' error. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@342 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-26added check for error after 'combineDclAndIclModule' tojohnvg1-3/+4
prevent a compiler crash when an abstract type is not defined in the implementation module git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@341 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-26bug fix in nfmartijnv1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@340 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-26small changesmartijnv2-9/+19
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@339 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-23fixing several bugsmartinw12-380/+263
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@338 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-22Sjaak: removed call to showComponentssjakie1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@337 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-20Sjaak: fixed inheritance bugs and strictness attributessjakie18-204/+333
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@335 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-15*** empty log message ***martinw8-80/+135
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@333 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-15Fixes to compile with 2.0alimarin4-103/+252
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@332 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-15compiler frontend without writing tcl-filesmartijnv5-13/+22
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@331 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-15changes:martijnv5-744/+90
- module type_io_common added for communication with linkers - minor change to convertDynamics w.r.t writing a tcl-file stderr annoyance should be fixed git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@330 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-13Generics are added, but are disabled.alimarin25-234/+3157
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-13added 2.0 syntax to type_io.iclmartijnv3-26/+127
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@328 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-12fixes bug in mergeCasesjohnvg1-21/+65
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@324 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
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