diff options
| author | johnvg | 2011-11-04 16:27:38 +0000 |
|---|---|---|
| committer | johnvg | 2011-11-04 16:27:38 +0000 |
| commit | 3578adc2ff4da8da8f9c05bdfaf954855956f586 (patch) | |
| tree | 3470c521298371d965e04a4897789e9e35edee50 /frontend/refmark.icl | |
| parent | remove differences in layout between the compiler and the iTask compiler (diff) | |
remove differences in layout between the compiler and the iTask compiler
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1991 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/refmark.icl')
| -rw-r--r-- | frontend/refmark.icl | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/frontend/refmark.icl b/frontend/refmark.icl index 54fbc83..15d3c93 100644 --- a/frontend/refmark.icl +++ b/frontend/refmark.icl @@ -750,8 +750,6 @@ where get_type (VI_Type atype _) = atype get_type (VI_FAType _ atype _) = atype - get_type _ = abort "has_observing_base_type (refmark.icl)" - make_shared_vars_non_unique vars fun_body coercion_env var_heap expr_heap error = foldl make_shared_var_non_unique (coercion_env, var_heap, expr_heap, error) vars |