aboutsummaryrefslogtreecommitdiff
path: root/frontend/syntax.dcl
AgeCommit message (Expand)AuthorFilesLines
2001-05-03added preliminary support for cons info by typealimarin1-1/+5
2001-04-25added support for constructors (for toString like usage),alimarin1-0/+2
2001-04-20bugfix: the compiler recognized f in the following example as a node andmartinw1-1/+1
2001-03-28added TVI_Normalizedmartijnv1-0/+1
2001-03-27uniqueness support is added to genericsalimarin1-3/+7
2001-03-27unfold all macros and local functions in macrosjohnvg1-6/+10
2001-03-23fixing several bugsmartinw1-10/+1
2001-03-20Sjaak: fixed inheritance bugs and strictness attributessjakie1-9/+12
2001-03-15Fixes to compile with 2.0alimarin1-6/+16
2001-03-13Generics are added, but are disabled.alimarin1-2/+38
2001-03-08Normalizingmartijnv1-1/+1
2001-03-02bugfix for specialisationsmartinw1-2/+2
2001-03-01- type files worden aangemaakt (buggy)martijnv1-1/+1
2001-02-23including porting facilitiesmartinw1-4/+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-8/+6
2001-01-12New algorithm for explicit imports that also works with cyclic module depende...martinw1-11/+25
2000-11-01improved code for explicit imports,martinw1-1/+16
2000-10-23renumber icl function and macro indices when unfoldingjohnvg1-4/+5
2000-10-04-added position information for let bindings for better error messagesmartinw1-3/+10
2000-09-27optimizations and caching of dcl modules (without trans.icl)clean1-8/+17
2000-09-20now "list inferred types" can print attributes alsomartinw1-1/+3
2000-09-13added position information for better error messagesmartinw1-4/+9
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
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-14 22:35:52 +0000