aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
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
2002-10-21remove unused typesjohnvg1-207/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1246 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-18added code for boxed records and lhs uniqueness attribute ofjohnvg1-11/+14
type definitions git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1245 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-18add support_dynamics flag to scanModule calljohnvg1-7/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1244 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-18add boxed records, strict dot dot expressions, generatejohnvg2-150/+162
TC; types only when compiling for dynamics git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1243 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-18add boxed recordsjohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1242 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-18add strict dot dot expressions, transform record updatejohnvg1-45/+64
to record constructor only for records with existential variables, fix line numbers in case expressions generated from guards git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1241 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-18add boxed records, fix line number in "different number ofjohnvg1-12/+16
members specified" error, prevent crash when constructors or members are defined more than once in the dcl module only git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1240 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-18add boxed records and strict dot dot records,johnvg1-29/+108
fix bug in line numbers of \ expressions, fix bug in attribute variables of .a .b result types git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1239 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-18add boxed recordsjohnvg1-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1238 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-18add strict dot dot expressionsjohnvg2-3/+88
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1237 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-18add boxed records and strict dot dot expressionsjohnvg2-10/+11
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1236 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-15disable arity check to circumvent bug in compiling the module relayout.icl ↵ronny1-1/+1
in Windows Object IO git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1235 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-14new type code and type code constructor representationronny11-443/+528
clean-up and renamed functions from StdDynamic git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1234 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-14bug fix convert root casesronny1-8/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1233 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-10use transform_trivial for 0-ary funsdiederik1-21/+8
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1232 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-10prepare possibly_add_let for reusediederik1-39/+37
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1231 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-10generate new versions for over-applied functionsdiederik1-1/+121
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1230 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-10fuse non-recursive producersdiederik1-6/+34
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1229 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-10cleanup case fun generation;diederik1-24/+30
simplify matching requirements for trivial functions git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1228 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-10transform record selectionsdiederik1-0/+21
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1227 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-09possiblyFoldOuterCasediederik1-20/+69
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1226 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-09SwitchHOFusiondiederik1-16/+41
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1225 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-09only generate functions for safe casesdiederik1-27/+119
better free var info for cases clear info in heap for casefun generation git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1224 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-09rnf constructor fusiondiederik1-3/+25
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1223 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-08SwitchReanalyseFunctiondiederik1-17/+36
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1222 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-08Add alternatives for FailExprdiederik1-0/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1221 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-08Change order of propagation annotation in generateFunctiondiederik1-15/+16
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1220 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-08Add function arity checksdiederik1-16/+40
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1219 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-07strip and dump commandline argsdiederik1-1/+15
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1218 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-07iterate fusion per componentdiederik4-172/+336
new recursive fun implementation use FailExpr for neverMatchingCase strip and dump commandline args git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1217 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-15 10:02:33 +0000