aboutsummaryrefslogtreecommitdiff
path: root/frontend
AgeCommit message (Collapse)AuthorFilesLines
2001-06-05renamed DistributeInfo to DistributeStateronny1-108/+108
changed field name prefix from di_ to ds_ git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@459 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-05renamed rcs_info parameters to rcsronny1-91/+91
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@458 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-05combined fields in CheckImportedInfo (subphase of weighted refcount)ronny1-33/+38
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@457 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-05moved rcs_main_dcl_module_n field from RCState to RCInforonny1-29/+29
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@456 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-05combinden weightedRefCount parameters in RCInfo recordronny1-78/+84
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@455 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-05renamed RCInfo to RCStateronny1-126/+126
changed field name prefix from rc_ to rcs_ git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@454 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-05reordered functions to reflect order within convertcasesronny1-688/+689
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@453 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-01removed comments with alternatives for DynamicExprronny1-73/+1
dynamics are converted before convertcases) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@451 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-01removed MW0 commentsronny1-4/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@450 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-01removed import of debug modulejohnvg2-2/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@448 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-01The _Module generated for each icl-module conflicted with record of namemartijnv2-2/+2
Module because the compiler prefixes it with an underscore. As a result multiple defined _Module-symbols were reported by the compiler. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@445 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-01removed import pp in order to make the compiler compilable without mymartijnv1-1/+1
pretty print function. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@444 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-31added mechanism to generate a module id for each module. Fixed an indexmartijnv5-71/+154
out of range error reported by Peter. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@443 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-31fix bug in uniqueness typing for array updates with (a & [i ]= e} syntaxjohnvg1-27/+17
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@442 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-31Added a switch which generates for an unify/coerce application an extramartijnv1-17/+57
third argument. This argument is used by the dynamic run-time system to identify the context of an unify/coerce application. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@441 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-30bug fix: arrays of unboxed functions are not allowedjohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@440 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-30in 'transform' of trans.icl also transform expressions in selections of an ↵johnvg1-0/+17
Update node git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@439 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-30detect in 'postparse' when the definition module correspondingjohnvg3-18/+30
to the main module is imported, and the main module is not an implementation module. renamed local function 'scan_dcl_module' into 'scan_main_dcl_module'. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@438 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-30optimize array comprehensions,johnvg6-288/+587
optimize dot dot generators, fixed bug in array comprehensions with more than one qualifier, removed 'c' before 'cIsListGenerator' and 'cIsArrayGenerator' git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@437 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-30added alternatives to function 'transform' for ↵johnvg1-1/+21
Update,RecordUpdate,TupleSelect and MatchExpr git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@436 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-18revision 1.31 was stupid nonsensemartinw1-1/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@435 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-14*** empty log message ***martinw2-0/+24
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@429 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-14new phase between analTypeDefs and typingmartinw2-0/+249
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@428 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-11fixed bug in convertCases Let (introduced in previous commit)ronny1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@427 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
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
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-16 21:26:55 +0000