aboutsummaryrefslogtreecommitdiff
path: root/frontend/syntax.dcl
AgeCommit message (Expand)AuthorFilesLines
2000-08-18dynamic type bug fixed; changes to support theorem provermartijnv1-1/+6
2000-08-15improved typing error messages: type variables are printed like "a" insteadmartinw1-3/+4
2000-08-10added position information to case defaults to improve type error messagesmartinw1-2/+9
2000-08-09added position information to case alternatives and changed the typingmartinw1-2/+6
2000-08-07removing superfluous constructormartinw1-1/+0
2000-08-01improving error messagesmartinw1-2/+8
2000-07-10Improved compatibility with Maarten's Theorem Prover Sourcesclean1-1/+2
2000-06-15update of dictionary typessjakie1-0/+2
2000-06-05enabled higher order function elimination also for functions (producers)martinw1-4/+5
2000-05-31readableizing error messagesmartinw1-1/+1
2000-05-30fixed bugs; partially implemented type dependent functionsmartijnv1-2/+4
2000-05-22improved dynamicssjakie1-1/+2
2000-04-26changes to make compiler compatible with itselfmartinw1-18/+11
2000-03-30removing record field "lei_strict" that became superflous due to the last rev...martinw1-3/+0
2000-03-30comparision of redundant macro definitionsmartinw1-1/+2
2000-03-20*** empty log message ***sjakie1-2/+4
2000-03-17 - making array patterns strict (strict lets were not properly handledmartinw1-1/+1
2000-03-14extended array patterns for muitidimensional arraysmartinw1-1/+1
2000-02-21- implemented comparison between redundant definitions in icl and dcl modulesmartinw1-4/+5
2000-02-18Commiting changes in syntax tree to enable backend adaption. New added constr...martinw1-22/+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-1/+2
2000-02-09new comprehension transformationsronny1-10/+6
2000-02-07commit for Sjaak by RWSsjakie1-2/+2
2000-01-24Bug fix: specified overloaded types were not treated correctlysjakie1-1/+1
2000-01-19bug fix (changed syntax tree)sjakie1-1/+9
2000-01-17Bug fixessjakie1-1/+1
2000-01-17removing some abort statements in checkmartinw1-1/+1
2000-01-13- check.icl: solved check-bug-11:martinw1-1/+1
1999-12-01Several bug fixes:sjakie1-4/+5
1999-11-23change: dynamics are now converted before 'fusion'sjakie1-1/+1
1999-11-11extension: no longer necessary to repeat macros in icl-filesjakie1-1/+1
1999-11-10extension: not necessary to repeat definitions of dcl-module in icl-modulesjakie1-6/+7
1999-11-05fusion works now. The fusion switch in module typesupport is enabledmartinw1-10/+11
1999-10-18lots of changes in module trans to make fusion work.martinw1-8/+28
1999-10-08improvement of error messages during type checkingsjakie1-1/+1
1999-10-05Initial importronny1-0/+1192
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-14 20:05:48 +0000