aboutsummaryrefslogtreecommitdiff
path: root/frontend
AgeCommit message (Collapse)AuthorFilesLines
2001-05-11I wanted to commit this together with the icl file, but it didn't fitmartinw1-8/+1
on the MS-DOS command line anymore, what a pitty git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@426 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-11improving error messagemartinw1-1/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@425 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-11checking the kinds of all function-, instance-, class- and member-typesmartinw3-100/+8
before typecheking (see new module "checkKindCorrectness") git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@424 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-11moving all switch macros to new module "compilerSwitches"martinw8-25/+16
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@423 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-10changed last field of CollectState into cos_used_dynamics which reflectsmartijnv3-13/+13
better its use. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@422 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-10bug fixes:martijnv12-35/+96
- unused dynamics in where/let clauses do not cause a rule doesn't match error in overloading.icl instead they are ignored - default behaviour changed e.g. f (i :: Int, j :: Int) = abort "Int" f (r :: Real, s :: Real) = abort "Real" f _ = abort "stop" The compiler first matched on the tuple and then did the dynamic pattern matches. But the last match did not call the last (default) alternative if it did not match. - some small changes git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@421 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-10bug fix: unusued dynamics in where/let clauses produced a rule doesn't matchmartijnv1-3/+51
error in overloading.icl git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@419 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-09combined convert paramaters in recordronny1-166/+103
removed comments git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@407 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-08added fields to cons_info and type_infoalimarin4-218/+359
fixed bugs git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@406 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-08accidental commitronny1-7/+7
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@405 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-08renamed ci_ fieldname prefixes and ci variables to cs_ and csronny1-240/+240
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@404 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-08removed uniqueness attribute in ConvertState type definitionronny1-4/+4
(ConvertState is attributed where it's use uniquely) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@403 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-08renamed ConversionInfo to ConvertStateronny1-6/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@402 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-08replaced call to my_zip by exactZip, removed definition my_zipronny1-4/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@401 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-08replaced zip2's with exactZip (fails when its arguments are of unequal length)ronny1-8/+16
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@400 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-08fixed spelling of cDontRemoveAnnotationsronny1-7/+7
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@399 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-08split convertcases in two modules (convertcases and convertimportedtypes)ronny5-134/+161
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@398 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-08renamed convertCasesOfFunctionsIntoPatterns to convertCasesOfFunctionsronny3-4/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@397 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-08moved ImportedFunctions from convertcases to transronny4-4/+2
(it's now together with ImportedConstructors) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@396 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-08added VI_Labelled_Empty and VI_LocalLetVar to VarInforonny2-0/+7
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@393 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-04satisfying John's pervert and bizarre wishes for better error messagesmartinw5-11/+84
concerning specified instance types, that by far go beyond the standards of Clean 1.3.3 git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@392 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-04bugfix: compiler crash atmartinw1-2/+2
definition module spetiul f :: a | == a special a=Int git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@391 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
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
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-15 06:21:57 +0000