X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcInteract.lhs;h=fd3cc1ee83f8be6f9d685093bf78f81e15cc9a76;hb=a0f0420865b17ed5f701b98e14c5d802dab6418f;hp=44e8479d339fedaffed24a1969ac87a445ef78f9;hpb=c80364f8e4681b34e974f5df36ecdacec7cd9cd8;p=ghc-hetmet.git 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)]