projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
1933433
)
Fix typo in boxy matching
author
simonpj@microsoft.com
<unknown>
Fri, 27 Jan 2006 17:45:36 +0000
(17:45 +0000)
committer
simonpj@microsoft.com
<unknown>
Fri, 27 Jan 2006 17:45:36 +0000
(17:45 +0000)
ghc/compiler/typecheck/TcUnify.lhs
patch
|
blob
|
history
diff --git
a/ghc/compiler/typecheck/TcUnify.lhs
b/ghc/compiler/typecheck/TcUnify.lhs
index
8cd2a0b
..
2c20d1f
100644
(file)
--- a/
ghc/compiler/typecheck/TcUnify.lhs
+++ b/
ghc/compiler/typecheck/TcUnify.lhs
@@
-452,7
+452,7
@@
boxyLub orig_ty1 orig_ty2
= go orig_ty1 orig_ty2
where
go (AppTy f1 a1) (AppTy f2 a2) = AppTy (boxyLub f1 f2) (boxyLub a1 a2)
- go (FunTy f1 a1) (FunTy f2 a2) = AppTy (boxyLub f1 f2) (boxyLub a1 a2)
+ go (FunTy f1 a1) (FunTy f2 a2) = FunTy (boxyLub f1 f2) (boxyLub a1 a2)
go (TyConApp tc1 ts1) (TyConApp tc2 ts2)
| tc1 == tc2, length ts1 == length ts2
= TyConApp tc1 (zipWith boxyLub ts1 ts2)