aboutsummaryrefslogtreecommitdiff
path: root/frontend/transform.icl
AgeCommit message (Collapse)AuthorFilesLines
2010-07-05don't pass icl functions array to/from partitionateDclMacros,johnvg1-8/+8
it is not used because dcl macros cannot use icl macros. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1791 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2010-02-05remove code that is no longer used in unfold, because unfold is no longerjohnvg1-210/+101
used by module trans (now uses copy) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1768 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2009-07-28fix uniqueness type bug (not detected because of bug in refmark)johnvg1-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1746 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-09-11make a![i] unique in yielded element if the yielded array is used only byjohnvg1-24/+225
{a & [i]= } expressions, instead of [i] a sequence of record and array selections may be used. ending with an array selection git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1687 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-04-13implement newtypejohnvg1-5/+21
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1672 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-04-12implement {# and {! in array comprehensions that create a new arrayjohnvg1-1/+16
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1671 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-12-16report unused #! variablesjohnvg1-16/+22
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1440 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-12-11bug fix: use a new ptr in expanded dynamicronny1-3/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1426 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-09-16removed boolean result from substituteType and substitute: theyronny1-4/+4
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-68/+68
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-01-08Bug fix: uniqueness error in recordssjakie1-1/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1308 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-12-02add strictness annotationsdiederik1-4/+12
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1297 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-11-12mark boolean case as not explicit to prevent introducing a functionronny1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1274 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-11-12bugs fixed in genericsalimarin1-0/+2
- compare def imp for generics - foldExpr - type synonym expansion git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1273 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-11-08Better fix so that correctness of EI_LetType is maintained during repartitioningdiederik1-19/+39
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1270 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-11-04Fix so that correctness of EI_LetType is maintained during repartitioningdiederik1-1/+16
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1267 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-07include type when adding cases for bool exprsdiederik1-1/+7
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1216 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-09-30add 'safe' to active case info for casefun generationdiederik1-1/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1212 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-09-24removed ignored !johnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1208 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-09-02expand macros in dynamic expressionsronny1-0/+9
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1194 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-08-23remove record fields: ui_convert_module_n, ui_conversion_table,johnvg1-160/+119
es_main_dcl_module_n, es_dcl_modules and es_expand_in_imp_module git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1190 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-25add collectVariable instance for Dictionaries for consumer reanalysisdiederik1-0/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1171 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-22rebuilt auxiliary dynamics administrationronny1-140/+130
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1162 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-16add code for DclFunCall to fix a bug if an exported macrojohnvg1-11/+28
uses an exported function from the current module git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1148 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-06-17removed ignored !'sjohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1099 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-03-26set the explicit flag for cases generated for && and || to Truejohnvg1-14/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1064 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-03-25new implementation of genericsalimarin1-1/+18
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1062 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-01-31remove RWSDebug importronny1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@999 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-01-23bug fix: adapted collect_used_dynamics which didn't eliminate all unusedmartijnv1-8/+8
dynamics. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@978 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-01-21bug fix: unused dynamics were not recursively removed from fi_dynamicsmartijnv1-1/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@974 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-01-21bug fix: unused dynamics were not recursively removed from fi_dynamicsmartijnv1-3/+13
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@973 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-01-18removed unused undefined record field, to make the module compilable with ↵ronny1-1/+1
Clean 2 git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@970 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-01-17Bug fix: Scopes in dynamicssjakie1-51/+23
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@968 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-01-10bug fix: move merge cases to transform, because it assumes local funcitonsronny1-1/+40
are lifted git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@965 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-20remove RWSDebug dependencyronny1-2/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@955 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-13remove tuple symbol from UniqueSelector (! selector) and MatchExprjohnvg1-9/+9
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@935 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-13Lifting of dynamic expressions repairedsjakie1-0/+11
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@934 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-12removed RWSDebug importronny1-2/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@925 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-05removed type from BasicExprjohnvg1-20/+16
added BVInt removed symb_arity from SymbIdent git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@918 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-11-30store predefined identifiers in CAFjohnvg1-2/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@912 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-18make source code clean 2.0 compatiblejohnvg1-4/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@865 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-18store macros and local functions in macros in separate {#{#FunDef}},johnvg1-461/+642
remove conversion table, except for macros git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@863 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-02removed uniqueness errorssjakie1-11/+14
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@812 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-06remove fun_index from FunDefjohnvg1-2/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@746 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-31added code for OverloadedListPatternsjohnvg1-40/+38
function expandMacrosInBody returns fi_dynamics instead of fun_info git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@712 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-07-23expand macros with curried macro calls later, to prevent a bug if dcl ↵johnvg1-3/+89
caching is used git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@561 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-22boolean for explicit cases (cases that are specified by the programmer)ronny1-1/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@494 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-20optimise && and ||johnvg1-20/+41
(new: transform.[id]cl, check.icl, generics.icl) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@489 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-08mergeCases in separate moduleronny1-290/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@475 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-31added mechanism to generate a module id for each module. Fixed an indexmartijnv1-5/+22
out of range error reported by Peter. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@443 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-22 21:22:26 +0000