aboutsummaryrefslogtreecommitdiff
path: root/frontend
AgeCommit message (Collapse)AuthorFilesLines
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-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-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-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-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
2000-02-18Commiting changes in syntax tree to enable backend adaption. New added ↵martinw2-23/+8
constructors: TVI_Atype, AVI_CorrespondenceNumber, PE_ArrayPattern git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@93 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-02-16removed PE_Array from syntax treeronny3-5/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@92 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-02-16buf fix (dictionary types in dcl modules)sjakie4-11/+17
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@91 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-02-15added Boolean to FunctionKind to mark genetared functionsronny6-11/+16
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@90 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-02-15bug fix (unboxed arrrays of records)ronny12-18/+118
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@89 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-02-14comprehensions: (re)introduced code duplication in transformation to work ↵ronny1-4/+5
around a bug in Clean 2.0 git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@88 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-02-14fixed bugs in comprehensions (manifested as type error and abort in check)ronny1-87/+66
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@87 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-02-11Bug fix in printing routinesjakie1-0/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@86 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-02-09new comprehension transformationsronny5-260/+480
removed old RWS comments git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@85 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-02-09strictness annoation for fe_componentsronny2-5/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@84 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-02-07commit for Sjaak by RWSsjakie11-161/+140
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@83 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-02-03bug fix: Observationssjakie1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@82 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-01-24Bug fix: specified overloaded types were not treated correctlysjakie5-36/+55
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@81 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-01-19check.icl: improving bugfix that yielded revision 1.15martinw3-88/+40
trans.icl: improving sjaaks changes that yielded revision 1.17 parse.icl: bugfix: The following program led into "could not determine the type of this record" module t5 :: R1 = { f :: Int } :: R2 = { f :: Int } :: R3 = { g :: R1 } g x = { x & g.R1.f = 1 } git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@80 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-01-19bug fix (changed syntax tree)sjakie11-116/+144
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@79 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-01-18bugfix: TryScanComment did not work when a single slash was followed by a ↵martinw1-1/+8
newline character git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@78 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-01-17Bug fixessjakie10-193/+113
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@77 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-01-17removing some abort statements in checkmartinw3-26/+17
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@76 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-01-13- check.icl: solved check-bug-11:martinw5-38/+220
Check Error [case_bug.icl,18,f]:"_" illegal combination of patterns f t = case t of {(a,2) -> 1; _ | False -> 2; (a,b) -> 3;}; - typesupport.icl: small typo - trans.icl: small optimisation git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@75 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-01-12function isNotEmpty addedpieter2-0/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@74 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d