Add utility function isHoleName.
authorEdward Z. Yang <ezyang@cs.stanford.edu>
Tue, 21 Jul 2015 23:15:32 +0000 (16:15 -0700)
committerEdward Z. Yang <ezyang@cs.stanford.edu>
Tue, 21 Jul 2015 23:15:32 +0000 (16:15 -0700)
Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
compiler/basicTypes/Name.hs

index 88b6e68..ce8619a 100644 (file)
@@ -60,6 +60,7 @@ module Name (
         isTyVarName, isTyConName, isDataConName,
         isValName, isVarName,
         isWiredInName, isBuiltInSyntax,
+        isHoleName,
         wiredInNameTyThing_maybe,
         nameIsLocalOrFrom, nameIsHomePackageImport, nameIsFromExternalPackage,
         stableNameCmp,
@@ -212,6 +213,9 @@ isExternalName _                               = False
 
 isInternalName name = not (isExternalName name)
 
+isHoleName :: Name -> Bool
+isHoleName = isHoleModule . nameModule
+
 nameModule name = nameModule_maybe name `orElse` pprPanic "nameModule" (ppr name)
 nameModule_maybe :: Name -> Maybe Module
 nameModule_maybe (Name { n_sort = External mod})    = Just mod