aboutsummaryrefslogtreecommitdiff
path: root/frontend/syntax.icl
AgeCommit message (Expand)AuthorFilesLines
2000-07-10Improved compatibility with Maarten's Theorem Prover Sourcesclean1-1/+2
2000-06-15update of dictionary typessjakie1-2/+4
2000-06-05enabled higher order function elimination also for functions (producers)martinw1-3/+4
2000-05-31readableizing error messagesmartinw1-4/+4
2000-05-30fixed bugs; partially implemented type dependent functionsmartijnv1-7/+11
2000-05-22improved dynamicssjakie1-1/+2
2000-04-26changes to make compiler compatible with itselfmartinw1-12/+14
2000-03-30removing record field "lei_strict" that became superflous due to the last rev...martinw1-1/+0
2000-03-30comparision of redundant macro definitionsmartinw1-1/+2
2000-03-20*** empty log message ***sjakie1-9/+13
2000-03-17 - making array patterns strict (strict lets were not properly handledmartinw1-4/+5
2000-03-14extended array patterns for muitidimensional arraysmartinw1-2/+2
2000-02-21- implemented comparison between redundant definitions in icl and dcl modulesmartinw1-9/+15
2000-02-18Commiting changes in syntax tree to enable backend adaption. New added constr...martinw1-1/+4
2000-02-16removed PE_Array from syntax treeronny1-1/+0
2000-02-15added Boolean to FunctionKind to mark genetared functionsronny1-1/+3
2000-02-15bug fix (unboxed arrrays of records)ronny1-0/+1
2000-02-09new comprehension transformationsronny1-10/+7
2000-02-07commit for Sjaak by RWSsjakie1-9/+4
2000-01-24Bug fix: specified overloaded types were not treated correctlysjakie1-2/+2
2000-01-19bug fix (changed syntax tree)sjakie1-6/+5
2000-01-17Bug fixessjakie1-3/+4
2000-01-17removing some abort statements in checkmartinw1-1/+1
2000-01-13- check.icl: solved check-bug-11:martinw1-3/+3
1999-12-10bugfixesmartinw1-2/+1
1999-12-03completing Sjaak's changes in module trans caused by exchanging the transform...martinw1-4/+2
1999-12-01Several bug fixes:sjakie1-3/+7
1999-11-23change: dynamics are now converted before 'fusion'sjakie1-3/+3
1999-11-10extension: not necessary to repeat definitions of dcl-module in icl-modulesjakie1-6/+6
1999-11-05fusion works now. The fusion switch in module typesupport is enabledmartinw1-13/+16
1999-10-19*** empty log message ***sjakie1-3/+6
1999-10-18lots of changes in module trans to make fusion work.martinw1-8/+28
1999-10-05Initial importronny1-0/+1774
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-14 20:05:55 +0000