aboutsummaryrefslogtreecommitdiff
path: root/frontend
AgeCommit message (Expand)AuthorFilesLines
2002-10-18add strict dot dot expressionsjohnvg2-3/+88
2002-10-18add boxed records and strict dot dot expressionsjohnvg2-10/+11
2002-10-15disable arity check to circumvent bug in compiling the module relayout.icl in...ronny1-1/+1
2002-10-14new type code and type code constructor representationronny11-443/+528
2002-10-14bug fix convert root casesronny1-8/+3
2002-10-10use transform_trivial for 0-ary funsdiederik1-21/+8
2002-10-10prepare possibly_add_let for reusediederik1-39/+37
2002-10-10generate new versions for over-applied functionsdiederik1-1/+121
2002-10-10fuse non-recursive producersdiederik1-6/+34
2002-10-10cleanup case fun generation;diederik1-24/+30
2002-10-10transform record selectionsdiederik1-0/+21
2002-10-09possiblyFoldOuterCasediederik1-20/+69
2002-10-09SwitchHOFusiondiederik1-16/+41
2002-10-09only generate functions for safe casesdiederik1-27/+119
2002-10-09rnf constructor fusiondiederik1-3/+25
2002-10-08SwitchReanalyseFunctiondiederik1-17/+36
2002-10-08Add alternatives for FailExprdiederik1-0/+4
2002-10-08Change order of propagation annotation in generateFunctiondiederik1-15/+16
2002-10-08Add function arity checksdiederik1-16/+40
2002-10-07iterate fusion per componentdiederik4-172/+336
2002-10-07include type when adding cases for bool exprsdiederik1-1/+7
2002-10-07clear type propagation info from var heapdiederik1-0/+19
2002-10-01minor changes in genericsalimarin7-41/+89
2002-09-30improved case classificationdiederik1-179/+180
2002-09-30add 'safe' to active case info for casefun generationdiederik5-41/+166
2002-09-24introduce functions for fail expressions on non-root positionsronny1-1/+16
2002-09-24bug fix for: abstract or synonym type with different numberjohnvg1-36/+44
2002-09-24fix bug if a class is used in a type context before the classjohnvg2-63/+120
2002-09-24removed ignored !johnvg1-1/+1
2002-09-24removed unused ts_td_infos field in two patternsjohnvg1-2/+2
2002-09-24removed second_of_2_tuple in mapStjohnvg2-14/+6
2002-09-20fixed bug in mergecases for dynamics (result from a failed experiment)ronny1-4/+3
2002-09-20moved var info definitions to the modules where they are usedronny5-27/+37
2002-09-20removed unnecessary exportsronny2-15/+5
2002-09-20removed SK_GeneratedCaseFunction: it's not necessary any more, becauseronny3-3/+1
2002-09-20switch to 2.0 syntax, remove duplicated definitions from icl modulesronny2-1626/+7
2002-09-20switch to 2.0 syntax, remove duplicated definitions from icl modulesronny5-46/+3
2002-09-19bug fixed: check if overloading is solved in type codes, removed some unused ...ronny1-50/+26
2002-09-19fixed bugs caused by sharing of case and let info ptrs and using incorrect ca...ronny1-36/+25
2002-09-19major rewrite dynamicsronny10-1254/+762
2002-09-04Add SK_GeneratedCaseFunction for dynamic cases fixdiederik4-1/+4
2002-09-02expand macros in dynamic expressionsronny1-0/+9
2002-08-27Added FailExpr noderonny2-0/+3
2002-08-23remove record fields: ui_convert_module_n and ui_conversion_tablejohnvg2-10/+4
2002-08-23the partitionate and lift functions in transform no longer usejohnvg1-12/+12
2002-08-23remove record fields: ui_convert_module_n, ui_conversion_table,johnvg2-169/+126
2002-08-22disable trace statementronny1-1/+1
2002-08-22transform implicit cases on rhs variables, see comment before splitCases in c...ronny3-56/+642
2002-08-07Add partitioning variantsdiederik2-0/+484
2002-08-07Move partitioning to separate modulediederik4-93/+99