diff options
| author | clean | 2000-04-26 15:24:04 +0000 |
|---|---|---|
| committer | clean | 2000-04-26 15:24:04 +0000 |
| commit | ad5d589437fca63c6ce0b8ddd836b2457e883fda (patch) | |
| tree | e01bdc0c4b18a8cf19b21e07c70b9ece6998e4f9 /frontend/refmark.icl | |
| parent | changes to make compiler compatible with itself (diff) | |
Merge Martin/ Sjaak & Ronny branches
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@127 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 f528fa6..5b803ae 100644 --- a/frontend/refmark.icl +++ b/frontend/refmark.icl @@ -529,7 +529,7 @@ where EI_Attribute sa_attr_nr # (succ, coercion_env) = tryToMakeNonUnique sa_attr_nr coercion_env | succ - ---> ("make_shared_occurrence_non_unique", free_var, var_expr_ptr) +// ---> ("make_shared_occurrence_non_unique", free_var, var_expr_ptr) -> (coercion_env, expr_heap, error) -> (coercion_env, expr_heap, uniquenessError { cp_expression = FreeVar free_var} " demanded attribute cannot be offered by shared object" error) _ |