aboutsummaryrefslogtreecommitdiff
path: root/frontend
AgeCommit message (Expand)AuthorFilesLines
2003-03-10fixed bug #1, case failed when default case contained partial caseronny1-16/+18
2003-03-05removed needlessly complex method to determine if a case will be moved in a f...ronny1-39/+39
2003-02-25fixed bug 8, incorrect parsing of dynamic id :: (A.a: a->a)ronny1-2/+8
2003-02-24added fusion of unboxed lists of records, movedjohnvg4-94/+102
2003-02-19implement fusion of overloaded cons or nil (function) of overloaded lists,johnvg1-43/+130
2003-02-18fix bug in fusion of an overloaded list pattern match withjohnvg1-33/+57
2003-02-10- bug fix: generate an error for abstract datatypes in dynamic typesmartijnv2-4/+7
2003-02-10- bug fix: error for abstract datatypes in dynamic types.martijnv6-35/+62
2003-02-07expand synonym types in dynamics when it's an inferred typeronny1-19/+21
2003-02-06- removed: unused argument 'symb_ident' of toTypeCodeExpressionmartijnv1-22/+22
2003-01-24added convertSymbolTypeWithoutCollectingImportedConstructorsjohnvg3-4/+14
2003-01-21Fix error in producerRequirementsdiederik1-5/+11
2003-01-15bug fix for non explicit cases with local variables injohnvg1-5/+10
2003-01-08Bug fix: uniqueness error in recordssjakie15-90/+140
2003-01-08remove rhs of alternative with an AP_Empty pattern, to preventjohnvg1-1/+1
2003-01-06prevent compiler crash if an array pattern is not a variablejohnvg1-2/+3
2003-01-06report "macro with function type not allowed" error forjohnvg1-2/+4
2003-01-02bug fix: check explicit import completeness for TAS constructorjohnvg1-0/+3
2002-12-10bug fix: pass type_index and mod_index in the right orderjohnvg1-1/+1
2002-12-02add strictness annotationsdiederik3-29/+86
2002-12-02improve speed when not fusingdiederik2-3/+10
2002-11-29remove // before some function type definitionsjohnvg1-3/+3
2002-11-28added special handling for strings:alimarin1-10/+16
2002-11-25fusion patches for case folds, case types, and dictionary typesdiederik1-58/+183
2002-11-21bug fix: handle FailExpr in copyronny1-2/+2
2002-11-19use rem instead of modjohnvg1-1/+1
2002-11-19- type synonyms in type definition written to a tcl-file are fully expanded now.martijnv5-103/+83
2002-11-15Fix bug with active and accumulating dictionary argsdiederik1-0/+3
2002-11-14bug in checking for importing of predefined modules fixedalimarin1-1/+1
2002-11-14use _SystemStrictLists with _cons..,_decons.. and _nil..johnvg1-11/+11
2002-11-14remove record update to record node transformation (for recordsjohnvg1-34/+2
2002-11-13Removed bugs in analysis of abstract data types and adjusted typing of record...sjakie4-40/+104
2002-11-12bug fix,ronny1-3/+3
2002-11-12bug fix, new method to classify cases that should be transformedronny1-184/+292
2002-11-12mark boolean case as not explicit to prevent introducing a functionronny1-1/+1
2002-11-12bugs fixed in genericsalimarin3-55/+125
2002-11-12Made modulename <> filename a proper errordiederik1-1/+1
2002-11-08Supply predef to generic dict unification;diederik1-15/+59
2002-11-08Better fix so that correctness of EI_LetType is maintained during repartitioningdiederik1-19/+39
2002-11-07revert bug fix in convert cases in anticipation of a proper fixronny1-1/+1
2002-11-07correct numbering of type vars in right-hand side dynamicsronny1-3/+6
2002-11-04Fix so that correctness of EI_LetType is maintained during repartitioningdiederik1-1/+16
2002-11-01moved RefCountsInCase and SplitsInCase type definitions from syntax to conver...ronny3-33/+36
2002-10-31Fix bug where wrong type code constructor was selected.ronny4-21/+22
2002-10-30Removed at least 4 bugs (maybe more, but i can't remember):sjakie11-35/+101
2002-10-29- added: DynamicRepresentation_String was removedmartijnv1-0/+2
2002-10-18add support_dynamics flag to scanModule calljohnvg1-7/+4
2002-10-18add boxed records, strict dot dot expressions, generatejohnvg2-150/+162
2002-10-18add boxed recordsjohnvg1-1/+1
2002-10-18add strict dot dot expressions, transform record updatejohnvg1-45/+64