@@ -386,18 +386,19 @@ internalType = \case
387externalLit :: Lit -> Type
387externalLit :: Lit -> Type
388externalLit = \case
388externalLit = \case
389− Text -> TyCon "Text"
389+ Text -> TyCon "Text"
390− Bool -> TyCon "Bool"
390+ Bool -> TyCon "Bool"
391− Time -> TyCon "UTCTime"
391+ Time -> TyCon "UTCTime"
392+ Date -> TyCon "UTCTime"
392− Date -> TyCon "UTCTime"
393+ DateTime -> TyCon "UTCTime"
393− Nat -> TyCon "Natural"
394+ Nat -> TyCon "Natural"
394− Float -> TyCon "Float"
395+ Float -> TyCon "Float"
395− Double -> TyCon "Double"
396+ Double -> TyCon "Double"
396− Byte -> TyCon "Word8"
397+ Byte -> TyCon "Word8"
397− UInt32 -> TyCon "Word32"
398+ UInt32 -> TyCon "Word32"
398− UInt64 -> TyCon "Word64"
399+ UInt64 -> TyCon "Word64"
399− Int32 -> TyCon "Int32"
400+ Int32 -> TyCon "Int32"
400− Int64 -> TyCon "Int64"
401+ Int64 -> TyCon "Int64"
402 Alt t -> TyCon (unqual (Text.unpack t))
403 Alt t -> TyCon (unqual (Text.unpack t))
403 Key -> TyCon "Key"
404 Key -> TyCon "Key"
@@ -406,18 +407,19 @@ externalLit = \case
407internalLit :: Lit -> Type
408internalLit :: Lit -> Type
408internalLit = \case
409internalLit = \case
409− Text -> TyCon "Text"
410+ Text -> TyCon "Text"
410− Bool -> TyCon "Bool"
411+ Bool -> TyCon "Bool"
411− Time -> TyCon "UTCTime"
412+ Time -> TyCon "Time"
412− Date -> TyCon "UTCTime"
413+ Date -> TyCon "Date"
414+ DateTime -> TyCon "DateTime"
413− Nat -> TyCon "Nat"
415+ Nat -> TyCon "Nat"
414− Float -> TyCon "Float"
416+ Float -> TyCon "Float"
415− Double -> TyCon "Double"
417+ Double -> TyCon "Double"
416− Byte -> TyCon "Word8"
418+ Byte -> TyCon "Word8"
417− UInt32 -> TyCon "Word32"
419+ UInt32 -> TyCon "Word32"
418− UInt64 -> TyCon "Word64"
420+ UInt64 -> TyCon "Word64"
419− Int32 -> TyCon "Int32"
421+ Int32 -> TyCon "Int32"
420− Int64 -> TyCon "Int64"
422+ Int64 -> TyCon "Int64"
422 Alt t -> TyCon (unqual (Text.unpack t))
424 Alt t -> TyCon (unqual (Text.unpack t))
423 Key -> TyCon "Key"
425 Key -> TyCon "Key"