aboutsummaryrefslogtreecommitdiff
path: root/frontend
AgeCommit message (Collapse)AuthorFilesLines
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
2000-01-12replaced all known errorspieter1-41/+99
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@73 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-01-04introduced new error message: "StdDynamics not imported"martinw4-10/+69
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@72 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-01-03compile time pattern matching only took linearity into account butmartinw1-11/+14
not whether an argument of a constructor is in normal form case [a] of { [b]->(b,b) } transformed to let b=a in (b,b) now it transfroms to (a,a) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@71 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-12-22\" as escape charpieter1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@70 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-12-22char strings, record types, error messages wantListpieter1-38/+52
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@69 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-12-20fixing bug in module transmartinw1-2/+45
before case x of { 1->1; _ -> case C of { A -> 2 }} transformed to case x of { 1->1; _ -> neverMatchingCase } now it transforms to case x of { 1->1;} git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@68 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-12-15bugfixmartinw1-4/+8
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@67 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-12-14handle constructor with strict arguments (for Clean 1.3.3)ronny4-55/+67
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@66 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-12-14Bug fix: infix pattern constructorssjakie1-22/+20
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@65 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-12-10handle constructor with strict arguments (for Clean 1.3.3)ronny2-27/+83
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@64 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-12-10bugfixesmartinw6-138/+146
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@63 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-12-03completing Sjaak's changes in module trans caused by exchanging the ↵martinw3-33/+53
transform and convertcases phases git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@62 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-12-01Several bug fixes:sjakie9-108/+156
- dictionary arguments added properly - coercion of function types git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@61 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-11-29bug fixsjakie5-29/+48
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@60 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-11-24unified main and frontendronny3-15/+253
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@59 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-11-23change: dynamics are now converted before 'fusion'sjakie8-189/+293
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@58 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-11-19added code for dealing with dynamicssjakie1-22/+34
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@57 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-11-17fixed name conflict for ids in nested update transformationronny1-31/+31
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@56 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-11-17bug fix: no crash after detecting an overloading errorsjakie1-27/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@55 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-11-16bug fix: single unique selections of arrays adjustedsjakie1-10/+21
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@54 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-11-16allow operator names like .*pieter1-5/+7
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@53 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-11-16:: T = E.x Cons x T | Nilpieter1-5/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@52 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d