Commit b09775cd authored by Sjaak Smetsers's avatar Sjaak Smetsers
Browse files

*** empty log message ***

parent fa3d88dd
......@@ -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)
......
......@@ -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
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment