Extra mutation for UTCTime

This commit is contained in:
bartavelle 2018-09-13 10:02:28 +02:00
parent 1d345967f9
commit e2b717e316

View File

@ -124,6 +124,7 @@ defaultTypeAlterations t = case t of
ETyCon (ETCon "Text") -> ETyCon (ETCon "String")
ETyCon (ETCon "Vector") -> ETyCon (ETCon "List")
ETyCon (ETCon "Double") -> ETyCon (ETCon "Float")
ETyCon (ETCon "UTCTime") -> ETyCon (ETCon "Posix")
_ -> t
where
isString (ETyCon (ETCon "String")) = True