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:
6cf8982
)
Trivial improvement to mkForAllTy
author
simonpj@microsoft.com
<unknown>
Wed, 28 Oct 2009 13:16:34 +0000
(13:16 +0000)
committer
simonpj@microsoft.com
<unknown>
Wed, 28 Oct 2009 13:16:34 +0000
(13:16 +0000)
compiler/types/Type.lhs
patch
|
blob
|
history
diff --git
a/compiler/types/Type.lhs
b/compiler/types/Type.lhs
index
d34a64c
..
5908194
100644
(file)
--- a/
compiler/types/Type.lhs
+++ b/
compiler/types/Type.lhs
@@
-681,7
+681,7
@@
typePrimRep ty = case repType ty of
\begin{code}
mkForAllTy :: TyVar -> Type -> Type
mkForAllTy tyvar ty
\begin{code}
mkForAllTy :: TyVar -> Type -> Type
mkForAllTy tyvar ty
- = mkForAllTys [tyvar] ty
+ = ForAllTy tyvar ty
-- | Wraps foralls over the type using the provided 'TyVar's from left to right
mkForAllTys :: [TyVar] -> Type -> Type
-- | Wraps foralls over the type using the provided 'TyVar's from left to right
mkForAllTys :: [TyVar] -> Type -> Type