diff options
| author | martinw | 2000-08-01 14:35:39 +0000 |
|---|---|---|
| committer | martinw | 2000-08-01 14:35:39 +0000 |
| commit | c87d8f090e652e2bfe91bee4b75833cb82bac1dc (patch) | |
| tree | a80ddf3d4c8866ccb82674457c9b01f2add84676 /frontend/refmark.icl | |
| parent | bug fix: curried type synomyms are forbidden (diff) | |
improving error messages
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@196 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 6ecc2a3..b11c1d0 100644 --- a/frontend/refmark.icl +++ b/frontend/refmark.icl @@ -493,7 +493,8 @@ where = foldSt initial_occurrence vars (subst, type_def_infos, var_heap, expr_heap) where initial_occurrence {fv_name,fv_info_ptr} (subst, type_def_infos, var_heap, expr_heap) - # (VI_Type {at_type,at_attribute}, var_heap) = readPtr fv_info_ptr var_heap +// MW3 was: # (VI_Type {at_type,at_attribute}, var_heap) = readPtr fv_info_ptr var_heap + # (VI_Type {at_type,at_attribute} _, var_heap) = readPtr fv_info_ptr var_heap = case at_type of TempV tv_number #! is_oberving = has_observing_type type_def_infos subst.[tv_number] @@ -532,7 +533,8 @@ where | succ // ---> ("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) +// 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)) make_selection_non_unique fv {su_multiply} cee |