diff options
| author | sjakie | 2000-11-02 11:23:32 +0000 |
|---|---|---|
| committer | sjakie | 2000-11-02 11:23:32 +0000 |
| commit | 56ff5f9d1e4ed151a8e1fb4378f66eefe98e6973 (patch) | |
| tree | 2fdd066c2d7c7ab514377a73b384ea4195a3b3d5 /frontend/refmark.icl | |
| parent | improved code for explicit imports, (diff) | |
Sjaak: uniqueness bug (concerning hio-types) removed
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@278 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/refmark.icl')
| -rw-r--r-- | frontend/refmark.icl | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/frontend/refmark.icl b/frontend/refmark.icl index b571046..46d369d 100644 --- a/frontend/refmark.icl +++ b/frontend/refmark.icl @@ -478,7 +478,10 @@ seqCombineRefCount (RC_Used sec_ref) (RC_Used prim_ref) = [ { sel & su_multiply = su_uniquely ++ su_multiply, su_uniquely = [] } : make_primary_selections_on_unique sels ] make_primary_selections_on_unique [] = [] - +/* +makeSharedReferencesNonUnique :: ![Int] !u:{# FunDef} !*Coercions !w:{! Type} v:{# v:{# TypeDefInfo}} !*VarHeap !*ExpressionHeap !*ErrorAdmin + -> (!u:{# FunDef}, !*Coercions, !w:{! Type}, !v:{# v:{# TypeDefInfo}}, !*VarHeap, !*ExpressionHeap, !*ErrorAdmin) +*/ makeSharedReferencesNonUnique :: ![Int] !u:{# FunDef} !*Coercions !w:{! Type} !v:TypeDefInfos !*VarHeap !*ExpressionHeap !*ErrorAdmin -> (!u:{# FunDef}, !*Coercions, !w:{! Type}, !v:TypeDefInfos, !*VarHeap, !*ExpressionHeap, !*ErrorAdmin) makeSharedReferencesNonUnique [] fun_defs coercion_env subst type_def_infos var_heap expr_heap error @@ -548,7 +551,6 @@ where | succ // ---> ("make_shared_occurrence_non_unique", free_var, var_expr_ptr) -> (coercion_env, expr_heap, error) -// MW3 was: -> (coercion_env, expr_heap, uniquenessError { cp_expression = FreeVar free_var} " demanded attribute cannot be offered by shared object" error) -> (coercion_env, expr_heap, uniquenessError (CP_Expression (FreeVar free_var)) " demanded attribute cannot be offered by shared object" error) _ -> abort ("make_shared_occurrence_non_unique" ---> ((free_var, var_expr_ptr) <<- expr_info)) |