aboutsummaryrefslogtreecommitdiff
path: root/frontend
AgeCommit message (Expand)AuthorFilesLines
2001-10-18make source code clean 2.0 compatiblejohnvg1-4/+4
2001-10-18make source clean 2.0 compatiblejohnvg1-14/+4
2001-10-18store macros and local functions in macros in separate {#{#FunDef}},johnvg33-1906/+2156
2001-10-17Bug fixes: too many error messages were printedsjakie1-3/+4
2001-10-15Bug fixes: beauti... : alternative for TFA added.sjakie1-9/+7
2001-10-12added alternative for OverloadedListPatterns in producerRequirementsjohnvg1-0/+3
2001-10-12add <|- generator for overloaded lists againjohnvg3-14/+9
2001-10-12Fusion fixes; should terminate now.diederik1-79/+205
2001-10-11Bug fixe: Printing type attributes: some of the attribute variables were wro...sjakie1-12/+18
2001-10-11Bug fix: type attributes of constructor variables are treated (more) uniformlysjakie1-0/+6
2001-10-08universally quantified attribute variables in typedefs addedsjakie9-104/+146
2001-10-05Added existential attribute variables to type definitionssjakie4-85/+132
2001-10-04fail explicit casesronny1-1/+1
2001-10-04removed unused function makeCaseronny1-12/+0
2001-10-04made merge_basic_pattern_with_patterns local function of merge_basic_patternsronny1-12/+12
2001-10-04Oops, the previous commit contained an error in :== defspieter1-1/+1
2001-10-04typo in error message;pieter1-108/+96
2001-10-04Context -> ScanContextpieter2-22/+28
2001-10-03Bug fixes: overloading error, changed the order of dictionariessjakie1-1/+1
2001-10-03Reduce memory usage of mark_producer_safediederik2-101/+122
2001-10-03replace uniqueCopy with copyCoercionsronny6-13/+75
2001-10-03fixed type error by reintroducing uniqueCopyronny1-1/+8
2001-10-03eliminated cheat moduleronny5-26/+4
2001-10-03changed from system to definition moduleronny2-1/+12
2001-10-03removed unnecessary mergeCasesronny1-290/+0
2001-10-03bug fix, print brackets in typesronny1-3/+9
2001-10-02removed uniqueness errorssjakie1-2/+2
2001-10-02removed uniqueness errorssjakie1-11/+14
2001-10-02Bug fixes: reference count analysis fixed,sjakie21-362/+483
2001-10-01pass file modification times from icl module and dcl modules to backendronny15-81/+98
2001-10-01Add producer class for fusiondiederik4-16/+287
2001-10-01Add fusion commandline flagdiederik6-76/+105
2001-09-24removed kind correctness checking modulesjakie9-240/+471
2001-09-21*** empty log message ***sjakie2-39/+40
2001-09-21Bug fix: caching combined with omitted type and class definitionssjakie23-843/+1090
2001-09-20Added module owners for convertDynamics, type_io and type_io_commonmartijnv6-0/+18
2001-09-14fix uniqueness bug (again)johnvg1-2/+1
2001-09-13Two fixes: (1) error with missing type contextssjakie2-17/+13
2001-09-13fix uniqueness errorjohnvg1-3/+2
2001-09-13add feo_generics=Falsejohnvg1-1/+1
2001-09-12add <|- generator for overloaded listsjohnvg6-84/+95
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-07module ownership commentronny6-0/+18
2001-09-07moved function checkLocalFunctions from checksupport to checkFunctionBodiesjohnvg3-11/+6
2001-09-07Bug fix: Stop after an overloading error occurredsjakie1-27/+31
2001-09-06remove 'dcl_is_cashed'johnvg8-57/+49
2001-09-06added command line flag to enable genericsalimarin9-52/+55
2001-09-06bug fix: Improved unification algoritm for kindssjakie7-50/+106
2001-09-06check if StdStrictLists is importedjohnvg4-11/+22