diff options
| author | simonpj@microsoft.com <unknown> | 2009-10-28 13:16:34 +0000 |
|---|---|---|
| committer | simonpj@microsoft.com <unknown> | 2009-10-28 13:16:34 +0000 |
| commit | 6582768fd0065b9aa4abdd93fdfa6ac1d047482b (patch) | |
| tree | a7fda3d2d526ade0273da681178bd2e2437d086c | |
| parent | 6cf8982ac30be6836a0cdd8be5a6ac1a1a144213 (diff) | |
| download | haskell-6582768fd0065b9aa4abdd93fdfa6ac1d047482b.tar.gz | |
Trivial improvement to mkForAllTy
| -rw-r--r-- | compiler/types/Type.lhs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/types/Type.lhs b/compiler/types/Type.lhs index d34a64c465..590819443c 100644 --- 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 - = mkForAllTys [tyvar] ty + = ForAllTy tyvar ty -- | Wraps foralls over the type using the provided 'TyVar's from left to right mkForAllTys :: [TyVar] -> Type -> Type |