-ifPrintUnqual :: PrintUnqualified -> IfaceExtName -> Bool
-ifPrintUnqual print_unqual (ExtPkg mod occ) = print_unqual mod occ
-ifPrintUnqual print_unqual (HomePkg mod occ _) = print_unqual mod occ
-ifPrintUnqual print_unqual other = True
+ifaceExtOcc :: IfaceExtName -> OccName
+ifaceExtOcc (ExtPkg _ occ) = occ
+ifaceExtOcc (HomePkg _ occ _) = occ
+ifaceExtOcc (LocalTop occ) = occ
+ifaceExtOcc (LocalTopSub occ _) = occ
+
+interactiveExtNameFun :: PrintUnqualified -> Name-> IfaceExtName
+interactiveExtNameFun print_unqual name
+ | print_unqual mod occ = LocalTop occ
+ | otherwise = ExtPkg mod occ
+ where
+ mod = nameModule name
+ occ = nameOccName name