X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FhsSyn%2FHsBinds.lhs;h=6a3f1b0fb175802fce569289e64d43bd4dfb44c8;hb=3444b48ef7644c235d7f164f8837090dc30c23bb;hp=8847e62c10f3398458b3b70184fd20bfc94b45e1;hpb=4385caba003064bb556f965b32fdc962ea19ea69;p=ghc-hetmet.git

diff --git a/compiler/hsSyn/HsBinds.lhs b/compiler/hsSyn/HsBinds.lhs
index 8847e62..6a3f1b0 100644
--- a/compiler/hsSyn/HsBinds.lhs
+++ b/compiler/hsSyn/HsBinds.lhs
@@ -338,10 +338,14 @@ data HsWrapper
 				--	= (\a1..an \x1..xn. [])
 
   | WpCast Coercion		-- A cast:  [] `cast` co
-				-- Guaranteedn not the identity coercion
+				-- Guaranteed not the identity coercion
+
+  | WpApp Var			-- [] d		the 'd' is a type-class dictionary or coercion variable
 
-  | WpApp Var			-- [] d		the 'd' is a type-class dictionary
   | WpTyApp Type		-- [] t		the 't' is a type or corecion
+    	    			--      ToDo: it'd be tidier if 't' was always a type (not coercion),
+				--	      but that is inconvenient in Inst.instCallDicts
+
   | WpLam Var	 		-- \d. []	the 'd' is a type-class dictionary or coercion variable
   | WpTyLam TyVar 		-- \a. []	the 'a' is a type variable (not coercion var)
   | WpInline			-- inline_me []   Wrap inline around the thing