diff options
| author | sjakie | 2002-10-30 10:30:25 +0000 |
|---|---|---|
| committer | sjakie | 2002-10-30 10:30:25 +0000 |
| commit | ed43105eed9ce791936faf82975409aea86ab8c1 (patch) | |
| tree | 507c4255c2563853d6b2784237fa4911eacc4801 /frontend/refmark.icl | |
| parent | - added: DynamicRepresentation_String was removed (diff) | |
Removed at least 4 bugs (maybe more, but i can't remember):
better check for properties of abstract types,
check for linearity of instance types,
uniqueness bug for type synonyms,
kind check for function (arrow) types
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1262 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/refmark.icl')
| -rw-r--r-- | frontend/refmark.icl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/refmark.icl b/frontend/refmark.icl index 9c5c5d4..0232978 100644 --- a/frontend/refmark.icl +++ b/frontend/refmark.icl @@ -366,7 +366,7 @@ refMarkOfCase free_vars sel def {case_expr, case_guards=OverloadedListPatterns t 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, used_lets, rms) = foldSt (ref_mark_of_dynamic_pattern free_vars sel def case_expr) patterns (0, all_closed_let_vars, rms) + (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) (let_vars_in_default, rms_var_heap) = addRefMarkOfDefault pattern_depth free_vars def rms.rms_var_heap rms_var_heap = setUsedLetVars [let_vars_in_default : all_closed_let_vars] rms_var_heap rms_var_heap = parCombine free_vars rms_var_heap |