From 8bd508666b93f26f8790f408f82ac1ce0398cd04 Mon Sep 17 00:00:00 2001
From: "simonpj@microsoft.com" <unknown>
Date: Wed, 10 Sep 2008 08:18:15 +0000
Subject: [PATCH] Layout and type synonyms only

---
 compiler/hsSyn/HsBinds.lhs |    9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/compiler/hsSyn/HsBinds.lhs b/compiler/hsSyn/HsBinds.lhs
index 6a3f1b0..86622be 100644
--- a/compiler/hsSyn/HsBinds.lhs
+++ b/compiler/hsSyn/HsBinds.lhs
@@ -131,8 +131,9 @@ data HsBindLR idL idR
     }
 
   | AbsBinds {					-- Binds abstraction; TRANSLATION
-       abs_tvs     :: [TyVar],  
-	abs_dicts   :: [DictId],
+        abs_tvs     :: [TyVar],  
+	abs_dicts   :: [DictId],		-- Includes equality constraints
+
        -- AbsBinds only gets used when idL = idR after renaming,
        -- but these need to be idL's for the collect... code in HsUtil to have
        -- the right type
@@ -383,13 +384,13 @@ c1 <.> c2    = c1 `WpCompose` c2
 mkWpTyApps :: [Type] -> HsWrapper
 mkWpTyApps tys = mk_co_fn WpTyApp (reverse tys)
 
-mkWpApps :: [Id] -> HsWrapper
+mkWpApps :: [Var] -> HsWrapper
 mkWpApps ids = mk_co_fn WpApp (reverse ids)
 
 mkWpTyLams :: [TyVar] -> HsWrapper
 mkWpTyLams ids = mk_co_fn WpTyLam ids
 
-mkWpLams :: [Id] -> HsWrapper
+mkWpLams :: [Var] -> HsWrapper
 mkWpLams ids = mk_co_fn WpLam ids
 
 mk_co_fn :: (a -> HsWrapper) -> [a] -> HsWrapper
-- 
1.7.10.4