aboutsummaryrefslogtreecommitdiff
path: root/frontend
AgeCommit message (Expand)AuthorFilesLines
2002-03-26don't move tuple and record selectors into explicit casesjohnvg1-38/+83
2002-03-25new implementation of genericsalimarin38-623/+4602
2002-03-20bug fix: prevent compiler crash if type in icl module hasjohnvg1-0/+3
2002-03-11- bug fix: added a forgotten alternative to function convertDynamics formartijnv1-3/+1
2002-03-11- bug fix: added a forgotten alternative to function convertDynamics formartijnv1-4/+5
2002-03-08remove unused argument td_args from functionsjohnvg1-21/+17
2002-03-08commented out some debug code to reduce memory allocation byjohnvg1-1/+1
2002-03-08make result of function build_inequalities strict to reducejohnvg1-0/+1
2002-03-08make result of function add_declaration strict to reducejohnvg1-2/+2
2002-03-05prevent compiler crash if too few members are specified injohnvg1-27/+37
2002-03-04add missing case for TAS constructor (for strict lists)johnvg1-1/+3
2002-03-04Export proper new type of transformGroupsdiederik2-2/+11
2002-02-28fix bug in computing the conversion table for macros that appearjohnvg1-1/+1
2002-02-27fix bug: report error when the same constructor or memberjohnvg1-60/+98
2002-02-26Bug fix: Dictionary arguments were not passed correctly to other dictionariessjakie1-0/+12
2002-02-19Disable debugging tracesdiederik1-7/+7
2002-02-19Reorder functions and introduce state record for determine_argsdiederik1-967/+1177
2002-02-13work around for incorrect merging of cases (see source comment)ronny1-0/+18
2002-02-13compare strictness annotations of constructorsjohnvg1-1/+1
2002-02-12removed useless strictness annotationsronny2-5/+5
2002-02-11removed comments that marked various patchesronny1-128/+16
2002-02-11- creation of {PV,UPV,UV}_Placeholder instead of P_laceholder. See predefmartijnv5-110/+111
2002-02-11class type variables bugfixdiederik2-12/+20
2002-02-08- change in strictness informationmartijnv5-69/+106
2002-02-08add missing alternatives in equal_strictness_lists andjohnvg3-10/+22
2002-02-07- cosmetic changes: made some String-representation of type names symbolicmartijnv3-1/+9
2002-02-07fix bug for boolean cases with then or else expressions thatjohnvg1-6/+4
2002-02-07initialise st_args_strictness in unused function for Clean 2.0johnvg1-0/+1
2002-02-06fix bug when using type definition:johnvg1-1/+1
2002-02-06store strictness annotations in SymbolType instead of ATypejohnvg24-732/+1618
2002-02-06store strictness annotations in SymbolType instead of ATypejohnvg1-3/+6
2002-02-04er worden nu universele type variabelen in de vorm van UP_laceHolder'smartijnv5-97/+117
2002-01-31remove RWSDebug importronny1-1/+1
2002-01-30Ik heb helaas geen flauw idee, maar deze files weken af van wat ik zelf had.sjakie4-104/+129
2002-01-23bug fix: adapted collect_used_dynamics which didn't eliminate all unusedmartijnv1-8/+8
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-22fixed bug with (->): added clean_up for TArrowalimarin1-0/+2
2002-01-21bug fix: unused dynamics were not recursively removed from fi_dynamicsmartijnv1-1/+2
2002-01-21bug fix: unused dynamics were not recursively removed from fi_dynamicsmartijnv1-3/+13
2002-01-21bug fix: fold2St cannot deal with inifinite listsmartijnv1-4/+4
2002-01-21bug fix: the let for a ModuleID was generated *after* copyExpression whichmartijnv1-54/+55
2002-01-18removed unused undefined record field, to make the module compilable with Cle...ronny1-1/+1
2002-01-17added a constructor and a destructor function for type string which containsmartijnv2-2/+36
2002-01-17Bug fix: Scopes in dynamicssjakie12-139/+124
2002-01-16added default alternatives for functions 'is_lazy_or_strict_array'johnvg1-0/+4
2002-01-11bug fix, print brackets in types (reapplication of bug fix revision 1.55 that...ronny1-3/+9
2002-01-10bug fix: move merge cases to transform, because it assumes local funcitonsronny2-45/+50
2001-12-20addition to previous bug fix (by Sjaak): support for dynamic en overloaded li...ronny1-23/+11
2001-12-20remove RWSDebug dependencyronny1-2/+0