aboutsummaryrefslogtreecommitdiff
path: root/frontend/trans.icl
AgeCommit message (Expand)AuthorFilesLines
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
2000-08-16restoring revision 1.35, revision 1.36 was unintendedmartinw1-190/+2
2000-08-16ConsVariables were not handled correctly within improved type error messagesmartinw1-1/+189
2000-08-10added position information to case defaults to improve type error messagesmartinw1-1/+2
2000-08-04bugfix: types that were associated with case and let expressions were notmartinw1-29/+30
2000-07-10Restore correct versionclean1-75/+8
2000-07-03no messageclean1-8/+75
2000-06-16now the same type unification algorithm is used for inlining dictionariesmartinw1-75/+8
2000-06-14now higher order function elimination works also for imported functionsmartinw1-14/+13
2000-06-13bugfix: the type unification algorithm used to generate types for new functio...martinw1-97/+121
2000-06-09bugfix in trans. utilites: renaming of mapSt into map_st was necessary, other...martinw1-57/+61
2000-06-05enabled higher order function elimination also for functions (producers)martinw1-126/+185
2000-05-31fixed fusion bug: The algorithm that derived the type for the specialised fun...martinw1-59/+100
2000-04-26changes to make compiler compatible with itselfmartinw1-51/+72
2000-03-20*** empty log message ***sjakie1-45/+68
2000-03-17 - making array patterns strict (strict lets were not properly handledmartinw1-16/+30
2000-03-14extended array patterns for muitidimensional arraysmartinw1-15/+17
2000-03-01bugfixesmartinw1-18/+9
2000-02-21- implemented comparison between redundant definitions in icl and dcl modulesmartinw1-5/+1
2000-02-15added Boolean to FunctionKind to mark genetared functionsronny1-1/+1
2000-01-19check.icl: improving bugfix that yielded revision 1.15martinw1-3/+4
2000-01-19bug fix (changed syntax tree)sjakie1-13/+18
2000-01-13- check.icl: solved check-bug-11:martinw1-0/+4
2000-01-03compile time pattern matching only took linearity into account butmartinw1-11/+14
1999-12-20fixing bug in module transmartinw1-2/+45
1999-12-03completing Sjaak's changes in module trans caused by exchanging the transform...martinw1-28/+51
1999-12-01Several bug fixes:sjakie1-2/+2
1999-11-29bug fixsjakie1-11/+22
1999-11-23change: dynamics are now converted before 'fusion'sjakie1-14/+30
1999-11-19added code for dealing with dynamicssjakie1-22/+34
1999-11-15bugfix in module transmartinw1-5/+9
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-14 16:26:23 +0000