aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2002-12-02improve speed when not fusingdiederik2-3/+10
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1296 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-11-29remove // before some function type definitionsjohnvg1-3/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1295 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-11-28added special handling for strings:alimarin1-10/+16
unboxed array applied to a basic type is explicitly treated as a type of kind star. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1294 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-11-26update project for CW 8johnvg1-0/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1293 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-11-26increase heap size (10m) and stack size (3m), don't showjohnvg1-6/+5024
execution times git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1292 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-11-26remove MSL libraries from project and increase heap size to 16mjohnvg1-5/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1291 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-11-26add backend:Mac directory to search pathsjohnvg1-0/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1290 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-11-25fusion patches for case folds, case types, and dictionary typesdiederik1-58/+183
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1289 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-11-21give the strictness analyser more memory for large modules,johnvg3-8/+11
move some definitions from settings.c+h to sa.c git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1288 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-11-21bug fix: handle FailExpr in copyronny1-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1287 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-11-20fix crash that occurs if there is not enough memoryjohnvg1-1/+6
to convert the syntax tree and the analyser is used again for functions that are generated later git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1286 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-11-19use rem instead of modjohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1285 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-11-19- type synonyms in type definition written to a tcl-file are fully expanded now.martijnv5-103/+83
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1284 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-11-18insert "lR" in type string for unboxed lists of recordsjohnvg1-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1283 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-11-15Fix bug with active and accumulating dictionary argsdiederik1-0/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1282 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-11-14bug in checking for importing of predefined modules fixedalimarin1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1281 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-11-14use _SystemStrictLists with _cons..,_decons.. and _nil..johnvg2-12/+12
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1280 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-11-14remove record update to record node transformation (for recordsjohnvg1-34/+2
with existential variables) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1279 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-11-13export label with t prefix for records for dynamicsjohnvg1-3/+8
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1278 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-11-13Removed bugs in analysis of abstract data types and adjusted typing of ↵sjakie4-40/+104
record updates git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1277 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-11-12bug fix,ronny1-3/+3
- compute correct number of type variables in type scheme - normalise if necessary git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1276 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-11-12bug fix, new method to classify cases that should be transformedronny1-184/+292
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1275 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-11-12mark boolean case as not explicit to prevent introducing a functionronny1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1274 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-11-12bugs fixed in genericsalimarin3-55/+125
- compare def imp for generics - foldExpr - type synonym expansion git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1273 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-11-12Made modulename <> filename a proper errordiederik1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1272 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-11-08Supply predef to generic dict unification;diederik1-15/+59
Fix bug with arity checks; Fix bug with unification with universal quantors. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1271 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-11-08Better fix so that correctness of EI_LetType is maintained during repartitioningdiederik1-19/+39
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1270 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-11-07revert bug fix in convert cases in anticipation of a proper fixronny1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1269 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-11-07correct numbering of type vars in right-hand side dynamicsronny1-3/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1268 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-11-04Fix so that correctness of EI_LetType is maintained during repartitioningdiederik1-1/+16
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1267 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-11-01moved RefCountsInCase and SplitsInCase type definitions from syntax to ↵ronny3-33/+36
convertcases git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1266 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-31Fix bug where wrong type code constructor was selected.ronny4-21/+22
The fix is to not use the index and table of type code constructors,. The indices and tables should be cleaned up later. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1265 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-31bug fix for boxed records and ! record selectionsjohnvg1-1/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1264 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-31bug fix for boxed records and ! record selections,johnvg1-5/+8
bug fix for loop with unsigned int git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1263 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-30Removed at least 4 bugs (maybe more, but i can't remember):sjakie11-35/+101
better check for properties of abstract types, check for linearity of instance types, uniqueness bug for type synonyms, kind check for function (arrow) types git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1262 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-29- added: DynamicRepresentation_String was removedmartijnv1-0/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1261 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-24add BEFlatTypeX and BERecordTypeX definitions in commentjohnvg2-0/+18
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1260 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-24disable destructive root updates of records without BOXED_RECORDSjohnvg1-9/+10
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1259 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-22skip some code when not using BOXED_RECORDSjohnvg3-8/+10
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1258 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-22add boxed recordsjohnvg9-275/+1169
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1257 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-21add missing prototypesjohnvg1-0/+8
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1256 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-21add boxed recordsjohnvg2-19/+65
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1255 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-21print * for unique states, RecordObj, better layoutjohnvg1-8/+17
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1254 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-21add new instructions for boxed recordsjohnvg2-2/+20
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1253 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-21add boxed recordsjohnvg2-0/+27
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1252 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-21repair initialisation with NULL of unused pointer fields in unionsjohnvg1-3/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1251 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-21add BOXED_RECORDS macrojohnvg1-1/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1250 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-21remove unused codejohnvg4-25/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1249 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-21add BEFlatTypeX and BERecordTypeX for boxed records andjohnvg2-4/+35
types with lhs uniqueness attribute git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1248 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-21remove unused types and fieldsjohnvg1-146/+14
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1247 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-15 07:34:04 +0000