Fixed: Predefined was not respected in a codepath in toConstructor

dhall-lang · Apr 21, 2023 · 9a3bd92 · 9a3bd92
1 parent d465892
commit 9a3bd92
Showing 1 changed file with 6 additions and 4 deletions.
diff --git a/dhall/src/Dhall/TH.hs b/dhall/src/Dhall/TH.hs
@@ -372,15 +372,17 @@ toConstructor typeParams GenerateOptions{..} haskellTypes outerTypeName (constru
 
     case maybeAlternativeType of
         Just dhallType
-            | let predicate Scoped{} = False
+            | let predicate haskellType@Predefined{} = Core.judgmentallyEqual (code haskellType) dhallType
+                  predicate Scoped{} = False
                   predicate haskellType =
                     Core.judgmentallyEqual (code haskellType) dhallType
                     && typeName haskellType /= outerTypeName
             , Just haskellType <- List.find predicate haskellTypes -> do
-                let innerName =
-                        Syntax.mkName (Text.unpack (typeName haskellType))
+                let inner = case haskellType of
+                        Predefined{..} -> haskellSplice
+                        _ -> ConT (Syntax.mkName (Text.unpack (typeName haskellType)))
 
-                return (NormalC name [ (bang, ConT innerName) ])
+                return (NormalC name [ (bang, inner) ])
 
         Just (Record kts) -> do
             let process (key, dhallFieldType) = do