aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--frontend/typesupport.icl8
1 files changed, 4 insertions, 4 deletions
diff --git a/frontend/typesupport.icl b/frontend/typesupport.icl
index b98a9c8..b42bc4b 100644
--- a/frontend/typesupport.icl
+++ b/frontend/typesupport.icl
@@ -626,12 +626,12 @@ instance bindInstances Type
= bindInstances arg_types1 arg_types2 type_var_heap
bindInstances (l1 --> r1) (l2 --> r2) type_var_heap
= bindInstances r1 r2 (bindInstances l1 l2 type_var_heap)
-//AA..
- bindInstances (TArrow1 x1) (TArrow1 x2) type_var_heap
- = bindInstances x1 x2 type_var_heap
-//..AA
bindInstances (TB _) (TB _) type_var_heap
= type_var_heap
+ bindInstances TArrow TArrow type_var_heap
+ = type_var_heap
+ bindInstances (TArrow1 x1) (TArrow1 x2) type_var_heap
+ = bindInstances x1 x2 type_var_heap
bindInstances (TFA _ type1) (TFA _ type2) type_var_heap
= bindInstances type1 type2 type_var_heap
bindInstances (CV l1 :@: r1) (CV l2 :@: r2) type_var_heap