Give more informative panic for checkFamInstConsistency.
authorEdward Z. Yang <ezyang@cs.stanford.edu>
Wed, 22 Jul 2015 00:06:39 +0000 (17:06 -0700)
committerEdward Z. Yang <ezyang@cs.stanford.edu>
Wed, 22 Jul 2015 20:04:04 +0000 (13:04 -0700)
Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
compiler/typecheck/FamInst.hs

index 9b7acac..3af2358 100644 (file)
@@ -32,6 +32,7 @@ import Maybes
 import TcMType
 import TcType
 import Name
+import Panic
 import Control.Monad
 import Data.Map (Map)
 import qualified Data.Map as Map
@@ -134,7 +135,8 @@ checkFamInstConsistency famInstMods directlyImpMods
                -- all directly imported modules must already have been loaded.
                modIface mod =
                  case lookupIfaceByModule dflags hpt (eps_PIT eps) mod of
-                   Nothing    -> panic "FamInst.checkFamInstConsistency"
+                   Nothing    -> panicDoc "FamInst.checkFamInstConsistency"
+                                          (ppr mod $$ pprHPT hpt)
                    Just iface -> iface
 
              ; hmiModule     = mi_module . hm_iface