@@ -386,18 +386,19 @@ internalType = \case
386386
387387externalLit :: Lit -> Type
388388externalLit = \case
389− Text -> TyCon "Text"
390− Bool -> TyCon "Bool"
391− Time -> TyCon "UTCTime"
392− Date -> TyCon "UTCTime"
393− Nat -> TyCon "Natural"
394− Float -> TyCon "Float"
395− Double -> TyCon "Double"
396− Byte -> TyCon "Word8"
397− UInt32 -> TyCon "Word32"
398− UInt64 -> TyCon "Word64"
399− Int32 -> TyCon "Int32"
400− Int64 -> TyCon "Int64"
389+ Text -> TyCon "Text"
390+ Bool -> TyCon "Bool"
391+ Time -> TyCon "UTCTime"
392+ Date -> TyCon "UTCTime"
393+ DateTime -> TyCon "UTCTime"
394+ Nat -> TyCon "Natural"
395+ Float -> TyCon "Float"
396+ Double -> TyCon "Double"
397+ Byte -> TyCon "Word8"
398+ UInt32 -> TyCon "Word32"
399+ UInt64 -> TyCon "Word64"
400+ Int32 -> TyCon "Int32"
401+ Int64 -> TyCon "Int64"
401402
402403 Alt t -> TyCon (unqual (Text.unpack t))
403404 Key -> TyCon "Key"
@@ -406,18 +407,19 @@ externalLit = \case
406407
407408internalLit :: Lit -> Type
408409internalLit = \case
409− Text -> TyCon "Text"
410− Bool -> TyCon "Bool"
411− Time -> TyCon "UTCTime"
412− Date -> TyCon "UTCTime"
413− Nat -> TyCon "Nat"
414− Float -> TyCon "Float"
415− Double -> TyCon "Double"
416− Byte -> TyCon "Word8"
417− UInt32 -> TyCon "Word32"
418− UInt64 -> TyCon "Word64"
419− Int32 -> TyCon "Int32"
420− Int64 -> TyCon "Int64"
410+ Text -> TyCon "Text"
411+ Bool -> TyCon "Bool"
412+ Time -> TyCon "Time"
413+ Date -> TyCon "Date"
414+ DateTime -> TyCon "DateTime"
415+ Nat -> TyCon "Nat"
416+ Float -> TyCon "Float"
417+ Double -> TyCon "Double"
418+ Byte -> TyCon "Word8"
419+ UInt32 -> TyCon "Word32"
420+ UInt64 -> TyCon "Word64"
421+ Int32 -> TyCon "Int32"
422+ Int64 -> TyCon "Int64"
421423
422424 Alt t -> TyCon (unqual (Text.unpack t))
423425 Key -> TyCon "Key"