Add ASSERTs to all calls of nameModule

[ghc-hetmet.git] / compiler / types / Generics.lhs

diff --git a/compiler/types/Generics.lhs b/compiler/types/Generics.lhs
index 7685a9d..01632d3 100644 (file)
--- a/compiler/types/Generics.lhs
+++ b/compiler/types/Generics.lhs
@@ -398,7 +398,7 @@ mkGenericNames tycon
   where
     tc_name  = tyConName tycon
     tc_occ   = nameOccName tc_name
-    tc_mod   = nameModule tc_name
+    tc_mod   = ASSERT( isExternalName tc_name ) nameModule tc_name
     from_RDR = mkOrig tc_mod (mkGenOcc1 tc_occ)
     to_RDR   = mkOrig tc_mod (mkGenOcc2 tc_occ)
 \end{code}
@@ -563,8 +563,8 @@ bimapList [ep]
 
 -------------------
 a_RDR, b_RDR :: RdrName
-a_RDR  = mkVarUnqual FSLIT("a")
-b_RDR  = mkVarUnqual FSLIT("b")
+a_RDR  = mkVarUnqual (fsLit "a")
+b_RDR  = mkVarUnqual (fsLit "b")
 
 gs_RDR :: [RdrName]
 gs_RDR = [ mkVarUnqual (mkFastString ("g"++show i)) | i <- [(1::Int) .. ] ]