Temporarily use safe conversion function qualPrelimDeclIdSafe

Author: dschrempf

hs-bindgen/src-internal/HsBindgen/Frontend/Naming.hs

@@ -57,6 +57,7 @@ module HsBindgen.Frontend.Naming (
     -- ** QualPrelimDeclId
   , QualPrelimDeclId(..)
   , qualPrelimDeclId
+  , qualPrelimDeclIdSafe
 
     -- * NameOrigin
   , NameOrigin(..)
@@ -324,6 +325,20 @@ qualPrelimDeclId prelimDeclId kind = case prelimDeclId of
         "qualPrelimDeclId: ordinary anonymous: " ++ show anonId
     PrelimDeclIdBuiltin name   -> QualPrelimDeclIdBuiltin name
 
+-- TODO #1220.
+qualPrelimDeclIdSafe :: PrelimDeclId -> NameKind -> QualPrelimDeclId
+qualPrelimDeclIdSafe prelimDeclId kind = case prelimDeclId of
+    PrelimDeclIdNamed   name   -> QualPrelimDeclIdNamed name kind
+    PrelimDeclIdAnon    anonId -> case kind of
+      NameKindTagged tagKind -> QualPrelimDeclIdAnon anonId tagKind
+      NameKindOrdinary       ->
+        QualPrelimDeclIdNamed
+          (Name $ Text.pack $
+             "qualPrelimDeclIdSafe: impossible ordinary anonymous: "
+             ++ show anonId)
+          NameKindOrdinary
+    PrelimDeclIdBuiltin name   -> QualPrelimDeclIdBuiltin name
+
 {-------------------------------------------------------------------------------
   NameOrigin
 -------------------------------------------------------------------------------}

hs-bindgen/src-internal/HsBindgen/Frontend/Pass/Parse/IsPass.hs

@@ -160,14 +160,13 @@ parseSucceedWith msgs decl =
     map (AttachedParseMsg decl.declInfo) msgs
 
 parseDoNotAttempt ::
-     HasCallStack
-  => C.DeclInfo Parse
+     C.DeclInfo Parse
   -> C.NameKind
   -> ParseNotAttemptedReason
   -> ParseResult
 parseDoNotAttempt C.DeclInfo{..} kind reason =
     ParseResultNotAttempted $ ParseNotAttempted
-      (C.qualPrelimDeclId declId kind)
+      (C.qualPrelimDeclIdSafe declId kind)
       declLoc
       declAvailability
       reason