aboutsummaryrefslogtreecommitdiff
path: root/frontend/syntax.icl
AgeCommit message (Expand)AuthorFilesLines
2001-03-02bugfix for specialisationsmartinw1-1/+1
2001-03-01- type files worden aangemaakt (buggy)martijnv1-1/+1
2001-02-23including porting facilitiesmartinw1-3/+0
2001-02-14just setting the switch for import syntax from "2.0" back to "1.3"martinw1-1/+1
2001-02-13delaying "determineTypesOfInstances" and "checkSpecialsOfInstances" aftermartinw1-3/+3
2001-01-19uniqueness unification for types of functions that are generatedmartinw1-17/+12
2001-01-12New algorithm for explicit imports that also works with cyclic module depende...martinw1-9/+85
2000-11-01improved code for explicit imports,martinw1-1/+5
2000-10-23renumber icl function and macro indices when unfoldingjohnvg1-19/+16
2000-10-04-added position information for let bindings for better error messagesmartinw1-3/+14
2000-09-27optimizations and caching of dcl modules (without trans.icl)clean1-4/+26
2000-09-20now "list inferred types" can print attributes alsomartinw1-7/+9
2000-09-13added position information for better error messagesmartinw1-4/+8
2000-09-13bug fix: error in existentional typessjakie1-0/+2
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-0/+39
2000-08-10added position information to case defaults to improve type error messagesmartinw1-4/+14
2000-08-09added position information to case alternatives and changed the typingmartinw1-1/+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-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
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-14 20:11:07 +0000