projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
f25b922
)
[project @ 2005-01-31 13:53:29 by simonpj]
author
simonpj
<unknown>
Mon, 31 Jan 2005 13:53:29 +0000
(13:53 +0000)
committer
simonpj
<unknown>
Mon, 31 Jan 2005 13:53:29 +0000
(13:53 +0000)
Wibble to hoistForAllTys
ghc/compiler/typecheck/TcType.lhs
patch
|
blob
|
history
diff --git
a/ghc/compiler/typecheck/TcType.lhs
b/ghc/compiler/typecheck/TcType.lhs
index
1c330cb
..
d31866d
100644
(file)
--- a/
ghc/compiler/typecheck/TcType.lhs
+++ b/
ghc/compiler/typecheck/TcType.lhs
@@
-683,7
+683,7
@@
hoistForAllTys ty
-- if t2 is a for-all type, push t1 inside it
-- if t2 is (pred -> t3), check for duplicates
mk_fun_ty ty1 ty2
- | not (isOverloadedTy ty2) -- No forall's, or context =>
+ | not (isSigmaTy ty2) -- No forall's, or context =>
= FunTy ty1 ty2
| PredTy p1 <- ty1 -- ty1 is a predicate
= if p1 `elem` theta then -- so check for duplicates