From 6582768fd0065b9aa4abdd93fdfa6ac1d047482b Mon Sep 17 00:00:00 2001 From: "simonpj@microsoft.com" Date: Wed, 28 Oct 2009 13:16:34 +0000 Subject: [PATCH] Trivial improvement to mkForAllTy --- compiler/types/Type.lhs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 1.7.10.4