X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcRnTypes.lhs;h=d01710c9f4c7f66ff7a3095d76402560bc017662;hp=dc233089e98d3e1c15665aa1aa3de0976bfa765f;hb=5adfdfb259415ca99d67d3c8b9e5df68cb736326;hpb=3bcc65b82524d1b37e81492885a9eab7b48920ca

diff --git a/compiler/typecheck/TcRnTypes.lhs b/compiler/typecheck/TcRnTypes.lhs
index dc23308..d01710c 100644
--- a/compiler/typecheck/TcRnTypes.lhs
+++ b/compiler/typecheck/TcRnTypes.lhs
@@ -598,8 +598,9 @@ data Inst
   | ImplicInst {	-- An implication constraint
 			-- forall tvs. (reft, given) => wanted
 	tci_name   :: Name,
+	tci_tyvars :: [TcTyVar],    -- Includes coercion variables
+				    --   mentioned in tci_reft
 	tci_reft   :: Refinement,
-	tci_tyvars :: [TcTyVar],
 	tci_given  :: [Inst],	    -- Only Dicts
 				    --   (no Methods, LitInsts, ImplicInsts)
 	tci_wanted :: [Inst],	    -- Only Dicts and ImplicInsts