aboutsummaryrefslogtreecommitdiff
path: root/frontend/trans.icl
AgeCommit message (Expand)AuthorFilesLines
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
1999-11-12bug fixesmartinw1-48/+15
1999-11-12vergeten, traces wegteheugenmartinw1-13/+0
1999-11-12bug fix in trans.iclmartinw1-17/+6
1999-11-08bug fix: arity of imported function was incorrectsjakie1-1/+5
1999-11-05fusion works now. The fusion switch in module typesupport is enabledmartinw1-554/+891
1999-10-18lots of changes in module trans to make fusion work.martinw1-271/+1031
1999-10-05Initial importronny1-0/+1172
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-14 16:26:10 +0000