aboutsummaryrefslogtreecommitdiff
path: root/frontend/convertDynamics.icl
AgeCommit message (Expand)AuthorFilesLines
2002-02-11- creation of {PV,UPV,UV}_Placeholder instead of P_laceholder. See predefmartijnv1-21/+17
2002-02-08- change in strictness informationmartijnv1-3/+3
2002-02-06store strictness annotations in SymbolType instead of ATypejohnvg1-2/+2
2002-02-04er worden nu universele type variabelen in de vorm van UP_laceHolder'smartijnv1-20/+31
2002-01-23small bug fix to check whether T_ypeID is availablemartijnv1-73/+16
2002-01-23bug fix: generate more type information in order to prevent the backend frommartijnv1-13/+105
2002-01-21bug fix: the let for a ModuleID was generated *after* copyExpression whichmartijnv1-54/+55
2001-12-17solved multiple defined moduleIDs in letsmartijnv1-29/+27
2001-12-13remove tuple symbol from UniqueSelector (! selector) and MatchExprjohnvg1-2/+2
2001-12-05removed type from BasicExprjohnvg1-9/+8
2001-11-30store predefined identifiers in CAFjohnvg1-8/+16
2001-11-29different representation of selector kind in Selectionronny1-3/+3
2001-11-21new explicit import syntaxjohnvg1-1/+1
2001-11-19Changes:martijnv1-31/+26
2001-10-02Bug fixes: reference count analysis fixed,sjakie1-1/+1
2001-09-20Added module owners for convertDynamics, type_io and type_io_commonmartijnv1-0/+3
2001-08-31added code for OverloadedListPatternsjohnvg1-0/+4
2001-08-28bug fix: count of let bindings was wrong which caused convertcases to crashmartijnv1-1/+2
2001-08-27bug fixes, ModuleID argument in T_ypeConsSymbol, added _SystemDynamicmartijnv1-20/+75
2001-08-15Bug fixes: default cases and (more or less) correct types for generated case ...sjakie1-30/+50
2001-06-27Sjaak: Improved dynamics, not yet finished.sjakie1-3/+24
2001-06-22boolean for explicit cases (cases that are specified by the programmer)ronny1-0/+6
2001-06-01removed import of debug modulejohnvg1-1/+1
2001-06-01removed import pp in order to make the compiler compilable without mymartijnv1-1/+1
2001-05-31Added a switch which generates for an unify/coerce application an extramartijnv1-17/+57
2001-05-10bug fix: unusued dynamics in where/let clauses produced a rule doesn't matchmartijnv1-3/+51
2001-04-02bug fix in convertTypeCode2martijnv1-1/+15
2001-03-28minor changes to files associated with dynamics. Most notably is themartijnv1-12/+32
2001-03-20Sjaak: fixed inheritance bugs and strictness attributessjakie1-2/+0
2001-03-15compiler frontend without writing tcl-filesmartijnv1-6/+15
2001-03-15changes:martijnv1-0/+2
2001-03-13added 2.0 syntax to type_io.iclmartijnv1-0/+2
2001-03-12made module name optionalmartijnv1-1/+4
2001-03-08Normalizingmartijnv1-8/+12
2001-03-06bugfix; selecting a value from a DynamicTemp still used the tuplemartijnv1-91/+5
2001-03-02no messagemartijnv1-2/+2
2001-03-01- type files worden aangemaakt (buggy)martijnv1-7/+70
2001-02-15DynamicTemp added to the compiler. You will be needing a newmartijnv1-18/+132
2000-10-04-added position information for let bindings for better error messagesmartinw1-39/+85
2000-10-02removed ---> operatormartijnv1-2/+2
2000-09-27optimizations and caching of dcl modules (without trans.icl)clean1-3/+3
2000-09-26Type dependent function implementedmartijnv1-204/+282
2000-09-20no messagemartijnv1-103/+282
2000-08-18dynamic type bug fixed; changes to support theorem provermartijnv1-4/+8
2000-08-10added position information to case defaults to improve type error messagesmartinw1-1/+2
2000-08-09added position information to case alternatives and changed the typingmartinw1-1/+2
2000-06-06coercions added though not completemartijnv1-30/+41
2000-05-30fixed bugs; partially implemented type dependent functionsmartijnv1-1/+59
2000-04-26changes to make compiler compatible with itselfmartinw1-2/+2
2000-02-21- implemented comparison between redundant definitions in icl and dcl modulesmartinw1-4/+0
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-13 19:20:04 +0000