aboutsummaryrefslogtreecommitdiff
path: root/frontend/trans.icl
AgeCommit message (Collapse)AuthorFilesLines
2005-10-28remove output for debuggingjohnvg1-1/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1553 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-10-26remove output for debuggingjohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1551 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-10-26remove output for debuggingjohnvg1-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1550 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-04-08fix specified typejohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1526 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-09-16removed boolean result from substituteType and substitute: theyronny1-9/+9
could only fail in case of a kind error which is already detected elsewhere git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1376 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-05-16renamed field names of type Ident in syntax treeronny1-116/+116
s/\<mod_name\>/mod_ident/g s/\<ps_field_name\>/ps_field_ident/g s/\<ps_selector_name\>/ps_selector_ident/g s/\<pc_cons_name\>/pc_cons_ident/g s/\<class_name\>/class_ident/g s/\<gen_name\>/gen_ident/g s/\<gen_member_name\>/gen_member_ident/g s/\<gc_name\>/gc_ident/g s/\<gc_gname\>/gc_gident/g s/\<fs_name\>/fs_ident/g s/\<td_name\>/td_ident/g s/\<fv_name\>/fv_ident/g s/\<var_name\>/var_ident/g s/\<type_name\>/type_ident/g s/\<symb_name\>/symb_ident/g s/\<tv_name\>/tv_ident/g s/\<av_name\>/av_ident/g s/\<me_symb\>/me_ident/g s/\<ft_symb\>/ft_ident/g s/\<fun_symb\>/fun_ident/g s/\<cons_symb\>/cons_ident/g s/\<sd_symb\>/sd__ident/g git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1340 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-03-12extra curried fusion fixesdiederik1-107/+219
extended unused args analysis improved strictness for case instantiation dead code removal git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1329 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-02-24added fusion of unboxed lists of records, movedjohnvg1-86/+99
FI_IsNonRecursive from partition.icl and trans.icl to syntax.dcl, added FI_IsUnboxedListOfRecordsConsOrNil to mark instances of unboxed lists of records generated in type.icl git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1322 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-02-19implement fusion of overloaded cons or nil (function) of overloaded lists,johnvg1-43/+130
fix bug in fusion of overloaded cons constructor, enable producers with overloaded list pattern match git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1320 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-02-18fix bug in fusion of an overloaded list pattern match withjohnvg1-33/+57
a lazy or boxed strict list constructor git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1319 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-01-24added convertSymbolTypeWithoutCollectingImportedConstructorsjohnvg1-1/+9
to fix a bug if type synonyms are used and a .tcl file is generated git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1313 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-01-21Fix error in producerRequirementsdiederik1-5/+11
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1312 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-01-08Bug fix: uniqueness error in recordssjakie1-10/+11
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1308 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-12-02add strictness annotationsdiederik1-18/+55
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1297 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-12-02improve speed when not fusingdiederik1-0/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1296 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-11-25fusion patches for case folds, case types, and dictionary typesdiederik1-58/+183
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1289 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-11-08Supply predef to generic dict unification;diederik1-15/+59
Fix bug with arity checks; Fix bug with unification with universal quantors. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1271 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-15disable arity check to circumvent bug in compiling the module relayout.icl ↵ronny1-1/+1
in Windows Object IO git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1235 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-10use transform_trivial for 0-ary funsdiederik1-21/+8
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1232 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-10prepare possibly_add_let for reusediederik1-39/+37
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1231 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-10generate new versions for over-applied functionsdiederik1-1/+121
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1230 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-10fuse non-recursive producersdiederik1-6/+34
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1229 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-10cleanup case fun generation;diederik1-24/+30
simplify matching requirements for trivial functions git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1228 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-10transform record selectionsdiederik1-0/+21
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1227 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-09possiblyFoldOuterCasediederik1-20/+69
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1226 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-09SwitchHOFusiondiederik1-16/+41
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1225 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-09only generate functions for safe casesdiederik1-27/+119
better free var info for cases clear info in heap for casefun generation git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1224 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-09rnf constructor fusiondiederik1-3/+25
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1223 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-08SwitchReanalyseFunctiondiederik1-17/+36
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1222 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-08Change order of propagation annotation in generateFunctiondiederik1-15/+16
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1220 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-08Add function arity checksdiederik1-16/+40
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1219 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-07iterate fusion per componentdiederik1-99/+286
new recursive fun implementation use FailExpr for neverMatchingCase strip and dump commandline args git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1217 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-01minor changes in genericsalimarin1-0/+16
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1214 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-08-23remove record fields: ui_convert_module_n and ui_conversion_tablejohnvg1-8/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1192 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-08-07Move partitioning to separate modulediederik1-90/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1186 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-08-01fix curried constructor applicationsdiederik1-0/+16
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1184 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-08-01inline trivial functions and optionally constant functionsdiederik1-17/+213
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1183 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-08-01add and use consumer_is_curried information to producer determinationdiederik1-29/+55
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1182 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-30improved type annotations from build_application_type;diederik1-6/+100
better names for curried producers git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1181 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-30specialize when special availablediederik1-14/+112
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1180 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-29add removing unused function arguments to fusiondiederik1-15/+31
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1179 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-29fixes for removing unused function argumentsdiederik1-8/+36
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1178 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-29move typedefs from trans to syntax; allow for uncurried instances; fix ↵diederik1-4/+8
compare for PR_Unused git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1177 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-29optimise (normal) selection from known recordsdiederik1-7/+28
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1175 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-25rename consumer classifications and add CUnuseddiederik1-6/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1170 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-24minor code reorganisationdiederik1-283/+316
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1168 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-24improved producer classificationdiederik1-39/+125
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1167 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-24move consumer classification to separate modulediederik1-575/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1166 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-17add abstract synonym typesjohnvg1-105/+118
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1158 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-06-17removed ignored !'sjohnvg1-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1099 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d