diff options
| author | sjakie | 1999-10-29 13:15:10 +0000 |
|---|---|---|
| committer | sjakie | 1999-10-29 13:15:10 +0000 |
| commit | 5c09133f9c7905d2c803a8de4e44cd63562b425f (patch) | |
| tree | 3832f2446afbfa95064eb005847e39aa4c4493ab /frontend | |
| parent | Bugfix: types in cases and lets are adjusted according to the specified type. (diff) | |
*** empty log message ***
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@34 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend')
| -rw-r--r-- | frontend/type.icl | 2 | ||||
| -rw-r--r-- | frontend/typesupport.icl | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/frontend/type.icl b/frontend/type.icl index 8168176..ba8f6d7 100644 --- a/frontend/type.icl +++ b/frontend/type.icl @@ -1328,7 +1328,7 @@ where # (equi, attr_var_env, type_heaps) = equivalent clean_fun_type tmp_fun_type defs attr_var_env type_heaps | equi # type_with_lifted_arg_types = addLiftedArgumentsToSymbolType fun_type tst_lifted st_args st_vars st_attr_vars - (type_heaps, expr_heap) = updateExpressionTypes clean_fun_type fun_type case_and_let_exprs type_heaps expr_heap + (type_heaps, expr_heap) = updateExpressionTypes clean_fun_type type_with_lifted_arg_types case_and_let_exprs type_heaps expr_heap = ({ fun_env & [fun] = CheckedType type_with_lifted_arg_types}, attr_var_env, type_heaps, expr_heap, error) // ---> ("check_function_type", clean_fun_type, fun_type, type_with_lifted_arg_types) = (fun_env, attr_var_env, type_heaps, expr_heap, specification_error clean_fun_type error) diff --git a/frontend/typesupport.icl b/frontend/typesupport.icl index c4f4707..68ec22b 100644 --- a/frontend/typesupport.icl +++ b/frontend/typesupport.icl @@ -378,7 +378,7 @@ instance bindInstances Type = bindInstances r1 r2 (bindInstances l1 l2 type_var_heap) bindInstances (TB _) (TB _) type_var_heap = type_var_heap - bindInstances ((CV l1) :@: r1) ((CV l2) :@: r2) type_var_heap + bindInstances (CV l1 :@: r1) (CV l2 :@: r2) type_var_heap = bindInstances r1 r2 (bindInstances (TV l1) (TV l2) type_var_heap) instance bindInstances [a] | bindInstances a |