aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2000-05-31Added just a comment (beginning with "XXX") that indicates a change that has ↵martinw1-0/+1
to be made to solve the following bug: f # x = undef #! y = x | True = 2 = y After checking this will be like f # x = undef | True = 2 = x To really solve this bug we have to invent something new, because aliases like (#! y = x) are _not_ allowed. We could either introduce a dummy identity function: f # x = undef #! y = dummy_id x | True = 2 = y or we could introduce constructs like f # x = undef #! y | True = 2 = y git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@145 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-05-31fixed fusion bug: The algorithm that derived the type for the specialised ↵martinw1-59/+100
function worked like follows: In a first phase bind type variables to their instantiation for all producers. In the second phase apply the substitution. This didn't work for consumers that are fused with multiple producers, e.g: cons :: (a->b) (b->c) a -> c prod1 :: Int -> Int prod2 :: d->e During producer-wise binding a and b were first bound to Int and Int. _Then_ b and c were bound to d and e (b was overwritten) Solution: Apply the one substitution for each producer git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@144 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-05-30fixed bugs; partially implemented type dependent functionsmartijnv7-138/+367
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@143 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-05-26bugfix: The following letmartinw1-1/+2
#! (a, b) = f was originally translated into #! _x = f #! a = _x.0 #! b = _x.1 which is wrong. Now a an b are in a lazy context git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@142 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-05-22improved dynamicssjakie4-35/+85
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@141 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-05-17accepting changesmartinw1-2/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@140 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-05-17bugfixmartinw1-5/+12
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@139 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-05-16bugfix in transform.icl (line 1306): the reference count in collectVariablesmartijnv1-0/+5
did not recognise a dynamic. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@138 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-05-11bug fix (uniqueness attributes)sjakie1-3/+13
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@137 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-05-11bug fix in macrossjakie1-3/+18
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@136 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-05-11fixed basic types in dynamics andpieter1-16/+27
funny constructors in algebraic typedefs git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@135 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-05-03made order of local definitions the same as in icl module (compareDefImp takesmartinw1-1/+1
this into account) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@134 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-05-03bugfixmartinw3-17/+17
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@133 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-05-03bug fixsjakie1-6/+7
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@132 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-04-27fixed bug with type indicesclean1-17/+11
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@131 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-04-26bugfixmartinw2-3/+8
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@130 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-04-26sorry for that!martinw1-10/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@129 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-04-26fixed convert_reduced_context_to_expressionclean1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@128 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-04-26Merge Martin/ Sjaak & Ronny branchesclean14-357/+364
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@127 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-04-26changes to make compiler compatible with itselfmartinw39-1278/+1485
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@126 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-04-12small bugfixmartinw1-0/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@125 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-03-30removing record field "lei_strict" that became superflous due to the last ↵martinw3-16/+6
revision git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@124 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-03-30comparision of redundant macro definitionsmartinw5-50/+66
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@123 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-03-24bugfixesmartinw8-141/+101
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@122 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-03-22*** empty log message ***sjakie1-6/+7
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@121 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-03-20no messageclean1-1/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@120 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-03-20no messageclean2-2/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@119 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-03-20correctly export types, use less stackclean1-65/+165
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@118 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-03-20*** empty log message ***sjakie3-80/+99
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@117 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-03-20Bug fix in printing routinesjakie1-67/+141
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@116 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-03-20*** empty log message ***sjakie9-500/+583
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@115 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-03-17 - making array patterns strict (strict lets were not properly handledmartinw11-98/+135
in "convertCasesOfFunctionsIntoPatterns" and "collectVariables") - new switch "SwitchUniquenessBug" in module checksupport - several bugfixes git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@114 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-03-16use error code from parsing dcl filesclean1-12/+11
fixed bug in arity check for local functions git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@113 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-03-14added Update alternative for consequences (Expression)clean1-1/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@112 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-03-14extended array patterns for muitidimensional arraysmartinw8-44/+60
bugfix git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@111 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-03-09no messagepieter1-43/+87
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@110 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-03-09optimized by Johnpieter2-246/+556
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@109 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-03-01bugfixesmartinw6-117/+136
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@108 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-02-24Simplified cocl.iclclean1-13/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@107 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-02-24Trimmed cocl.prj, changed location executableclean1-2980/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@106 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-02-24changed set_return_code.objclean1-0/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@105 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-02-24Added _options file, because cvs doesn't seem to check out empty directoriesronny1-0/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@104 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-02-24Removed debug modules (they moved to separate directory)ronny8-1068/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@103 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-02-24Initial importronny1-0/+3025
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@101 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-02-23Initial importronny15-0/+525
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@100 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-02-23Added backend.dllronny1-0/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@99 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-02-22Initial importronny9-0/+1674
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@97 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-02-22Initial importronny3-0/+141
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@96 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-02-22Bug fixes escaped characters in character and string denotationsronny1-5/+32
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@95 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-02-21- implemented comparison between redundant definitions in icl and dcl modulesmartinw21-364/+1479
(new module: comparedefimp) - implemented array patterns. Further work: arrays are in lazy context (should be strict), currently only one dimensional arrays - optimised memory usage for explicit imports git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@94 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
generated by cgit v1.2.3 (git 2.39.1) at 2025-10-31 16:53:48 +0000