diff options
| author | johnvg | 2005-09-27 14:32:01 +0000 |
|---|---|---|
| committer | johnvg | 2005-09-27 14:32:01 +0000 |
| commit | e7ea2e4a3696922ada9c024de4671dc9e6219f1c (patch) | |
| tree | 9c625736c202fed79a112c8eae8324ec7868af41 /frontend | |
| parent | make line number in the (diff) | |
add alternative for TArrow in bindInstances to prevent compiler crash for:
:: EP a = C (a Int Int);
Start :: EP (->);
Start = Start;
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1545 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend')
| -rw-r--r-- | frontend/typesupport.icl | 8 |
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 |