aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
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-10compiler option added: -dynamics which instructs the compiler to generatemartijnv1-6/+21
tcl (type files) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@420 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-09support for casesronny1-0/+0
bail out if illegal command arguments are passed to the backend git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@418 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-09corrected version numberronny1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@417 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-09removed docommand modulesronny4-45/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@416 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-09removed dumprestore modulesronny2-896/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@415 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-09removed backend Clean modulesronny2-994/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@414 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-09support for casesronny1-0/+7
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@413 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-09corrected version numberronny1-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@412 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-09corrected version numberronny2-4/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@411 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-09cases in backendronny2-27/+209
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@410 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-09bail out if illegal command arguments are passed to the backendronny1-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@409 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-09don't analyse idents for Clean 2.0ronny1-0/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@408 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-08support for cases in backendronny4-198/+433
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@395 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-08support for cases in backendronny1-0/+32
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@394 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-03fixed module namesronny2-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@385 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-03removed BEDeclarePredefinedSymbolsronny5-374/+362
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@384 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-03removed duplicate import for backend_library (there's another import in ↵ronny1-1/+0
backendconvert.icl) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@383 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-05-03replaced corrupted cDirectory.objronny1-0/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@381 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-03removed _cocl_options.oronny1-0/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@380 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-03moved backend.[id]cl from backendCModules to backendronny2-0/+994
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@379 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-03backend_library now generated from backend.iclronny1-55/+55
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@378 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-01cases in backendronny4-56/+238
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@377 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-01removed RWS in internal compiler error messageronny1-2/+7
test for NULL params in GenParameters (reason unknown) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@376 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d