X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FhsSyn%2FHsBinds.lhs;h=1d7bc2fa9b73c6bb2a8c3673c38d6e7c957eee5e;hb=d914b83e6b1baafc8d830eff1aedbe55d25d84cc;hp=41bbea93a3e25bc3195390cc9338ff368e445da5;hpb=0fa4f1db9b1b8f44a107af5bf5267504d5924ee6;p=ghc-hetmet.git

diff --git a/compiler/hsSyn/HsBinds.lhs b/compiler/hsSyn/HsBinds.lhs
index 41bbea9..1d7bc2f 100644
--- a/compiler/hsSyn/HsBinds.lhs
+++ b/compiler/hsSyn/HsBinds.lhs
@@ -95,7 +95,7 @@ data HsBind id
 				-- Before renaming, and after typechecking, 
 				-- the field is unused; it's just an error thunk
 
-        fun_tick :: Maybe Int   -- This is the (optional) module-local tick number. 
+        fun_tick :: Maybe (Int,[id])   -- This is the (optional) module-local tick number. 
     }
 
   | PatBind {	-- The pattern is never a simple variable;
@@ -319,10 +319,10 @@ data HsWrapper
   | WpCo Coercion		-- A cast:  [] `cast` co
 				-- Guaranteedn not the identity coercion
 
-  | WpApp Var			-- [] x; the xi are dicts or coercions
-  | WpTyApp Type		-- [] t
-  | WpLam Id	 		-- \x. []; the xi are dicts or coercions
-  | WpTyLam TyVar 		-- \a. []
+  | WpApp Var			-- [] d		the 'd' is a type-class dictionary
+  | WpTyApp Type		-- [] t		the 't' is a type or corecion
+  | WpLam Id	 		-- \d. []	the 'd' is a type-class dictionary
+  | WpTyLam TyVar 		-- \a. []	the 'a' is a type or coercion variable
 
 	-- Non-empty bindings, so that the identity coercion
 	-- is always exactly WpHole