aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2003-02-25fixed bug 8, incorrect parsing of dynamic id :: (A.a: a->a)ronny1-2/+8
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1323 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-02-24added fusion of unboxed lists of records, movedjohnvg4-94/+102
FI_IsNonRecursive from partition.icl and trans.icl to syntax.dcl, added FI_IsUnboxedListOfRecordsConsOrNil to mark instances of unboxed lists of records generated in type.icl git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1322 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-02-20don't generate abc code to build dictionary for overloaded Niljohnvg2-4/+26
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1321 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-02-19implement fusion of overloaded cons or nil (function) of overloaded lists,johnvg1-43/+130
fix bug in fusion of overloaded cons constructor, enable producers with overloaded list pattern match git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1320 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-02-18fix bug in fusion of an overloaded list pattern match withjohnvg1-33/+57
a lazy or boxed strict list constructor git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1319 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-02-10- bug fix: generate an error for abstract datatypes in dynamic typesmartijnv2-4/+7
(predefined abstract types such as Arrays in dynamic types are now approved). git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1318 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-02-10- bug fix: error for abstract datatypes in dynamic types.martijnv6-35/+62
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1317 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-02-07expand synonym types in dynamics when it's an inferred typeronny1-19/+21
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1316 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-02-06- removed: unused argument 'symb_ident' of toTypeCodeExpressionmartijnv1-22/+22
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1315 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-01-24bug fixes: prevent crash in ReduceArguments and set e_hasindjohnvg1-10/+21
for the node that the indirection node refers to, instead of for the indirection node itself git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1314 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-01-24added convertSymbolTypeWithoutCollectingImportedConstructorsjohnvg3-4/+14
to fix a bug if type synonyms are used and a .tcl file is generated git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1313 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-01-21Fix error in producerRequirementsdiederik1-5/+11
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1312 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-01-15bug fix for non explicit cases with local variables injohnvg1-5/+10
case alternative(s) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1311 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-01-09fix label names for unboxed lists of records with dynamicsjohnvg3-10/+21
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1310 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-01-08bug fix: copy decons_expr in pattern when copying a function with stricter ↵johnvg1-3/+8
result git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1309 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-01-08Bug fix: uniqueness error in recordssjakie15-90/+140
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1308 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-01-08remove rhs of alternative with an AP_Empty pattern, to preventjohnvg1-1/+1
a compiler crash in transform when a macro uses another macro in a pattern, that are both defined in the same module git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1307 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-01-07fix generated labels for lazy record field selectors if ↵johnvg2-15/+11
ExportedLocalLabels==True git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1306 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-01-07export labels if ExportLocalLabels==True for lazy record selectorsjohnvg2-12/+18
and fix exported label name for unboxed lists of records git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1305 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-01-06prevent compiler crash if an array pattern is not a variablejohnvg1-2/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1304 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-01-06report "macro with function type not allowed" error forjohnvg1-2/+4
macros with a function type, instead of ignoring the type, or crashing when the arity is incorrect git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1303 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-01-02bug fix: check explicit import completeness for TAS constructorjohnvg1-0/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1302 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-12-10Clean 2.0.2 backend.dlljohnvg1-0/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1301 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-12-10bug fix: pass type_index and mod_index in the right orderjohnvg1-1/+1
to function signClassification git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1299 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-12-10set im_def_module field so that the bit in .comp thatjohnvg1-2/+8
indicates a system module will be set git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1298 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-12-02add strictness annotationsdiederik3-29/+86
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1297 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
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
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-15 06:14:36 +0000