aboutsummaryrefslogtreecommitdiff
path: root/frontend/syntax.icl
AgeCommit message (Collapse)AuthorFilesLines
2000-08-07removing superfluous constructormartinw1-1/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@199 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-08-01improving error messagesmartinw1-2/+8
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@196 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-07-10Improved compatibility with Maarten's Theorem Prover Sourcesclean1-1/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@184 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-06-15update of dictionary typessjakie1-2/+4
Peter's bug removed git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@164 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-06-05enabled higher order function elimination also for functions (producers)martinw1-3/+4
that are imported git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@149 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-05-31readableizing error messagesmartinw1-4/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@147 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-05-30fixed bugs; partially implemented type dependent functionsmartijnv1-7/+11
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@143 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-05-22improved dynamicssjakie1-1/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@141 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-04-26changes to make compiler compatible with itselfmartinw1-12/+14
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@126 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-03-30removing record field "lei_strict" that became superflous due to the last ↵martinw1-1/+0
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 definitionsmartinw1-1/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@123 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-03-20*** empty log message ***sjakie1-9/+13
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 handledmartinw1-4/+5
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-14extended array patterns for muitidimensional arraysmartinw1-2/+2
bugfix git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@111 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-02-21- implemented comparison between redundant definitions in icl and dcl modulesmartinw1-9/+15
(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 ↵martinw1-1/+4
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 treeronny1-1/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@92 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-02-15added Boolean to FunctionKind to mark genetared functionsronny1-1/+3
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)ronny1-0/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@89 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-02-09new comprehension transformationsronny1-10/+7
removed old RWS comments git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@85 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-02-07commit for Sjaak by RWSsjakie1-9/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@83 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-01-24Bug fix: specified overloaded types were not treated correctlysjakie1-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@81 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-01-19bug fix (changed syntax tree)sjakie1-6/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@79 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-01-17Bug fixessjakie1-3/+4
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 checkmartinw1-1/+1
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:martinw1-3/+3
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
1999-12-10bugfixesmartinw1-2/+1
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 ↵martinw1-4/+2
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:sjakie1-3/+7
- 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-23change: dynamics are now converted before 'fusion'sjakie1-3/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@58 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-11-10extension: not necessary to repeat definitions of dcl-module in icl-modulesjakie1-6/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@40 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-11-05fusion works now. The fusion switch in module typesupport is enabledmartinw1-13/+16
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@35 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-10-19*** empty log message ***sjakie1-3/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@18 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-10-18lots of changes in module trans to make fusion work.martinw1-8/+28
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@16 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-10-05Initial importronny1-0/+1774
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-16 03:48:28 +0000