X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcRnDriver.lhs;h=696e41b1f36965188313b59d60a0d693e35dc010;hp=94c55a7f17469ab6825943379cb005e4c9b7415f;hb=4287edeb7f329529149d8c95597d5e418388265f;hpb=366e8db02ab7a5bb5316699bff397d06e47891b2;ds=sidebyside

diff --git a/compiler/typecheck/TcRnDriver.lhs b/compiler/typecheck/TcRnDriver.lhs
index 94c55a7..696e41b 100644
--- a/compiler/typecheck/TcRnDriver.lhs
+++ b/compiler/typecheck/TcRnDriver.lhs
@@ -37,6 +37,7 @@ import TcExpr
 import TcRnMonad
 import TcType
 import Inst
+import FamInst
 import InstEnv
 import FamInstEnv
 import TcBinds
@@ -173,6 +174,12 @@ tcRnModule hsc_env hsc_src save_rn_syntax
 	loadOrphanModules (imp_orphs  imports) False ;
 	loadOrphanModules (imp_finsts imports) True  ;
 
+	let { directlyImpMods =   map (\(mod, _, _) -> mod) 
+			        . moduleEnvElts 
+			        . imp_mods 
+			        $ imports } ;
+	checkFamInstConsistency (imp_finsts imports) directlyImpMods ;
+
 	traceRn (text "rn1a") ;
 		-- Rename and type check the declarations
 	tcg_env <- if isHsBoot hsc_src then