From: simonpj@microsoft.com <unknown>
Date: Wed, 28 Oct 2009 13:16:34 +0000 (+0000)
Subject: Trivial improvement to mkForAllTy
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=6582768fd0065b9aa4abdd93fdfa6ac1d047482b

Trivial improvement to mkForAllTy
---

diff --git a/compiler/types/Type.lhs b/compiler/types/Type.lhs
index d34a64c..5908194 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