aboutsummaryrefslogtreecommitdiff
path: root/frontend
AgeCommit message (Expand)AuthorFilesLines
2002-06-17removed ignored !'sjohnvg19-54/+54
2002-06-17removed double alternative for TVI_TypeKind in <<<johnvg1-1/+0
2002-06-17removed ingnored !'sjohnvg9-16/+16
2002-06-17moved _ to next linejohnvg1-1/+2
2002-06-11added comparison for TArrow and TArrow1 to comparedefimpalimarin1-0/+4
2002-06-10- bug fix:types scopesmartijnv2-2/+20
2002-06-03removed tracealimarin1-4/+4
2002-06-03added constructor/type/field information to genericsalimarin16-624/+1420
2002-05-14- improved handling of equivalent types within one application to share amartijnv3-5/+15
2002-05-01bug fix: make case for variable pattern explicitronny1-1/+1
2002-04-11support for generic type context like inalimarin24-156/+575
2002-04-04- removed strictness annotationsmartijnv2-4/+4
2002-04-04* bug fix to correctly separate types without Clean definition from types whichmartijnv1-2/+1
2002-04-03- collection of used type constructors in unify/coerce. There are two sources:martijnv9-124/+182
2002-03-28fixes in generics to compile with Clean 2.0alimarin6-73/+65
2002-03-27remove debug outputjohnvg1-1/+1
2002-03-27fix bug in CharList with \010 charjohnvg1-1/+18
2002-03-26set the explicit flag for cases generated for && and || to Truejohnvg1-14/+5
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