aboutsummaryrefslogtreecommitdiff
path: root/frontend
AgeCommit message (Collapse)AuthorFilesLines
2001-05-04bugfix 2.0 syntax: formartinw1-15/+28
from StdEnv import == // instead of class ==(..) the _member_ "==" was imported resulting in complaints that the corresponding class was not imported git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@390 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-04bugfix: formartinw1-31/+29
:: *T = T f x=:(T,b) = x the derived result type of f was not essentially unique: f :: .. -> (.T, .a) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@389 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-042 bugfixes: 1. pretty printing of types corrected, 2. blahmartinw2-15/+8
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@388 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-04Clean 2.0 compiler bug workaroundronny1-0/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@387 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-03Flag to turn generics on and off (SupportGenerics), default offronny3-1/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@386 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-03added preliminary support for cons info by typealimarin7-94/+470
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@382 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-04-27added handy new macro for searching listsmartinw2-0/+20
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@373 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-04-27bugfix: the derived type formartinw1-4/+4
fun1 f = fun2 where fun2 :: .c fun2 | g f = undef g :: (.b -> .b) -> Bool g _ = True was [o u[11651944]:a -> u[11651944]:a] -> c[11210672]:c but st_attr_vars was [c[11210672], c[11210672]] (u[11651944] is missing) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@372 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-04-27*** empty log message ***martinw1-4/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@371 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-04-27bugfix: nowmartinw1-1/+1
class c m :: *(m Int) -> (m Int) is not accepted anymore git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@370 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-04-27new error message for "instance c U":martinw5-24/+149
U is unique but instantiates class variable x that is non uniquely used. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@369 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-04-25added support for constructors (for toString like usage),alimarin11-341/+890
fromString is not yet supported some error handling improved parial instances are temporary disabled git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@368 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-04-201. bugfix concerning dictionaries that contain let expressionsmartinw1-8/+9
2. bugfix for fusion algorithm git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@366 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-04-20bugfix concerning dictionaries that contain let expressionsmartinw1-18/+18
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@365 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-04-20pepping up error messagesmartinw3-35/+65
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@364 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-04-20bugfixmartinw1-45/+47
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@363 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-04-20*** empty log message ***martinw2-26/+31
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@362 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-04-20bugfix: the compiler recognized f in the following example as a node andmartinw3-35/+24
ignored the type specification. Now he treats f as a function, and hence gives a type error Start = f where f :: String f = 1 git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@361 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-04-20bugfix: the parser did not acceptmartinw1-3/+3
from m import :: :+: git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@360 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-04-02bug fix in convertTypeCode2martijnv1-1/+15
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@356 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
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
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-16 21:26:57 +0000