Commit 10876aa4 authored by John van Groningen's avatar John van Groningen
Browse files

add alternative for TArrow in bindInstances to prevent compiler crash for:

:: EP a = C (a Int Int);

Start :: EP (->);
Start = Start;
parent 22c75c9b
......@@ -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
......
Markdown is supported
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