X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcInteract.lhs;fp=compiler%2Ftypecheck%2FTcInteract.lhs;h=fd3cc1ee83f8be6f9d685093bf78f81e15cc9a76;hp=44e8479d339fedaffed24a1969ac87a445ef78f9;hb=cd450d41e84c2bf09bb9c3a646c7408eb2c2d772;hpb=4d20bc6a4159b6b6747b581a60589861e31a236d

diff --git a/compiler/typecheck/TcInteract.lhs b/compiler/typecheck/TcInteract.lhs
index 44e8479..fd3cc1e 100644
--- a/compiler/typecheck/TcInteract.lhs
+++ b/compiler/typecheck/TcInteract.lhs
@@ -1,6 +1,6 @@
 \begin{code}
 module TcInteract ( 
-     solveInteract, AtomicInert, 
+     solveInteract, AtomicInert, tyVarsOfInert,
      InertSet, emptyInert, updInertSet, extractUnsolved, solveOne, foldISEqCts
   ) where  
 
@@ -134,6 +134,14 @@ data InertSet
                                              -- and reside either in the worklist or in the inerts 
        }
 
+tyVarsOfInert :: InertSet -> TcTyVarSet 
+tyVarsOfInert (IS { inert_eqs    = eqs
+                  , inert_dicts  = dictmap
+                  , inert_ips    = ipmap
+                  , inert_funeqs = funeqmap }) = tyVarsOfCanonicals cts 
+  where cts = eqs `andCCan` cCanMapToBag dictmap 
+                  `andCCan` cCanMapToBag ipmap `andCCan` cCanMapToBag funeqmap
+
 type FDImprovement  = (PredType,PredType) 
 type FDImprovements = [(PredType,PredType)]