aboutsummaryrefslogtreecommitdiff
path: root/frontend/trans.icl
AgeCommit message (Expand)AuthorFilesLines
2002-07-24minor code reorganisationdiederik1-283/+316
2002-07-24improved producer classificationdiederik1-39/+125
2002-07-24move consumer classification to separate modulediederik1-575/+4
2002-07-17add abstract synonym typesjohnvg1-105/+118
2002-06-17removed ignored !'sjohnvg1-2/+2
2002-06-03added constructor/type/field information to genericsalimarin1-6/+21
2002-04-11support for generic type context like inalimarin1-4/+22
2002-02-19Disable debugging tracesdiederik1-7/+7
2002-02-19Reorder functions and introduce state record for determine_argsdiederik1-967/+1177
2002-02-11class type variables bugfixdiederik1-7/+14
2002-02-06store strictness annotations in SymbolType instead of ATypejohnvg1-99/+154
2001-12-13remove tuple symbol from UniqueSelector (! selector) and MatchExprjohnvg1-5/+5
2001-12-05removed type from BasicExprjohnvg1-83/+79
2001-11-29different representation of selector kind in Selectionronny1-9/+9
2001-10-18store macros and local functions in macros in separate {#{#FunDef}},johnvg1-29/+26
2001-10-12added alternative for OverloadedListPatterns in producerRequirementsjohnvg1-0/+3
2001-10-12Fusion fixes; should terminate now.diederik1-79/+205
2001-10-03Reduce memory usage of mark_producer_safediederik1-100/+121
2001-10-02Bug fixes: reference count analysis fixed,sjakie1-1/+1
2001-10-01Add producer class for fusiondiederik1-13/+273
2001-10-01Add fusion commandline flagdiederik1-60/+76
2001-09-11reduced memory usage of expandSynTypesjohnvg1-36/+52
2001-09-11pass TypeSymbIdent boxed in TA to function 'expand_syn_types_in_TA' instead o...johnvg1-4/+4
2001-09-06remove fun_index from FunDefjohnvg1-5/+4
2001-08-31added code for strict and unboxed listsjohnvg1-43/+172
2001-08-27Universally quantified types addedsjakie1-0/+5
2001-06-29cleaning upmartinw1-41/+4
2001-06-22boolean for explicit cases (cases that are specified by the programmer)ronny1-0/+3
2001-06-11Bug fix with array updates. Removed redundant code. Adjusted unification algo...sjakie1-6/+9
2001-05-30in 'transform' of trans.icl also transform expressions in selections of an Up...johnvg1-0/+17
2001-05-30added alternatives to function 'transform' for Update,RecordUpdate,TupleSelec...johnvg1-1/+21
2001-05-11moving all switch macros to new module "compilerSwitches"martinw1-1/+2
2001-05-08moved ImportedFunctions from convertcases to transronny1-0/+1
2001-04-20bugfix concerning dictionaries that contain let expressionsmartinw1-18/+18
2001-03-28uniqueness support is added to genericsalimarin1-6/+0
2001-03-27unfold all macros and local functions in macrosjohnvg1-5/+7
2001-03-23fixing several bugsmartinw1-27/+41
2001-03-20Sjaak: fixed inheritance bugs and strictness attributessjakie1-48/+58
2001-03-15*** empty log message ***martinw1-44/+108
2001-03-02bugfix for specialisationsmartinw1-34/+64
2001-02-13delaying "determineTypesOfInstances" and "checkSpecialsOfInstances" aftermartinw1-21/+18
2001-01-19uniqueness unification for types of functions that are generatedmartinw1-452/+632
2000-10-23renumber icl function and macro indices when unfoldingjohnvg1-19/+20
2000-10-04-added position information for let bindings for better error messagesmartinw1-69/+115
2000-09-27making compiler self compatiblemartinw1-41/+69
2000-09-26removing stuff that once dealt with dynamicsmartinw1-49/+14
2000-09-22fixed bug in type unificationmartinw1-6/+10
2000-09-20improving bufix from revision 1.39martinw1-8/+3
2000-09-13fixed following bug:martinw1-13/+12
2000-08-18dynamic type bug fixed; changes to support theorem provermartijnv1-4/+22
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-14 20:00:40 +0000