diff options
| author | johnvg | 2007-04-13 10:19:33 +0000 |
|---|---|---|
| committer | johnvg | 2007-04-13 10:19:33 +0000 |
| commit | 89bcff9652fe4421ce9672806effb2956a2480c3 (patch) | |
| tree | 1ddd845331724259d3f54bb718baed290e9bff26 /frontend/refmark.icl | |
| parent | implement {# and {! in array comprehensions that create a new array (diff) | |
implement newtype
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1672 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/refmark.icl')
| -rw-r--r-- | frontend/refmark.icl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/frontend/refmark.icl b/frontend/refmark.icl index 4bfefb5..9f53f86 100644 --- a/frontend/refmark.icl +++ b/frontend/refmark.icl @@ -372,6 +372,9 @@ where refMarkOfCase free_vars sel def {case_expr, case_guards=OverloadedListPatterns type _ patterns, case_explicit, case_default} rms = refMarkOfAlgebraicOrOverloadedListCase free_vars sel def case_expr patterns case_explicit case_default rms +refMarkOfCase free_vars sel def {case_expr, case_guards=NewTypePatterns type patterns, case_explicit, case_default} rms + = refMarkOfAlgebraicOrOverloadedListCase free_vars sel def case_expr patterns case_explicit case_default rms + refMarkOfCase free_vars sel def {case_expr, case_guards=DynamicPatterns patterns,case_default,case_explicit} rms=:{rms_var_heap} # (def, all_closed_let_vars, rms) = refMarkOfDefault case_explicit free_vars sel def case_expr case_default [] { rms & rms_var_heap = rms_var_heap } (pattern_depth, all_closed_let_vars, rms) = foldSt (ref_mark_of_dynamic_pattern free_vars sel def case_expr) patterns (0, all_closed_let_vars, rms) |