aboutsummaryrefslogtreecommitdiff
path: root/frontend
AgeCommit message (Collapse)AuthorFilesLines
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
1999-11-15removed debugging outputsjakie1-4/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@51 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-11-15nothing serioussjakie1-10/+20
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@50 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-11-15bug fix: instance of < for Priority removed,sjakie3-27/+72
function determinePriority added git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@49 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-11-15bugfix in module transmartinw1-5/+9
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@48 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-11-12removed commentsjakie1-14/+11
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@47 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-11-12bug fixesmartinw4-65/+47
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@46 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-11-12minor bug fix, some code polishingsjakie5-307/+327
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@45 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-11-12vergeten, traces wegteheugenmartinw1-13/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@44 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-11-12bug fix in trans.iclmartinw3-21/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@43 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-11-11extension: no longer necessary to repeat macros in icl-filesjakie2-34/+59
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@42 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-11-11bug fix: uniqueness inference (coerce in unitype)sjakie2-5/+9
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@41 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-11-10extension: not necessary to repeat definitions of dcl-module in icl-modulesjakie10-353/+284
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@40 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-11-09bug fix: missing alternative in 'instance distributeLets Selection'sjakie1-0/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@39 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-11-08minormartinw1-13/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@38 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-11-08bug fix: arity of imported function was incorrectsjakie1-1/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@37 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-11-05minor changesmartinw3-5/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@36 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-11-05fusion works now. The fusion switch in module typesupport is enabledmartinw12-623/+1132
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@35 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-10-29*** empty log message ***sjakie2-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@34 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-10-29Bugfix: types in cases and lets are adjusted according to the specified type.sjakie3-106/+83
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@33 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-10-28added new class "bind_and_unify_types" in module typesupportmartinw2-1/+101
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@32 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-10-27better error message for let!pieter1-2/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@31 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-10-25minor change: comment removedsjakie1-15/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@30 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-10-25end of comment repaired to allow **/pieter1-0/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@29 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-10-20changed the CommandLoop back into the original versionsjakie1-14/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@28 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-10-20No ideasjakie1-31/+14
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@27 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-10-20extension: improved error messages for uniqueness typessjakie1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@26 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-15 06:21:59 +0000