diff options
| author | johnvg | 2010-02-08 11:59:36 +0000 |
|---|---|---|
| committer | johnvg | 2010-02-08 11:59:36 +0000 |
| commit | bb9c620c7ca4cc6df095273752d1e92e06d76f4c (patch) | |
| tree | bcbce239912e68f7dfa8e98457f3ee68c37445a5 /frontend/portToNewSyntax.dcl | |
| parent | remove code that is no longer used in unfold, because unfold is no longer (diff) | |
instead of transCase False No this_case ro ti, use skip_over this_case ro ti,
because that is what transCase False No will do,
rename transCase as transform_active_root_case and remove is_active and
change optional aci to aci, because it is always called with True (Yes aci),
rename possibly_generate_case_function as transform_active_non_root_case,
changes in layout
-> skip_over this_case
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1769 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/portToNewSyntax.dcl')
0 files changed, 0 insertions, 0 deletions