Support Int32 and Int64

This commit is contained in:
Domen Kožar 2024-01-04 14:35:45 +00:00 committed by GitHub
parent 74f78ce8d4
commit 04991c3528
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -123,7 +123,9 @@ defaultTypeAlterations t = case t of
ETyApp (ETyApp (ETyCon (ETCon "Tagged")) _) v -> defaultTypeAlterations v
ETyApp x y -> ETyApp (defaultTypeAlterations x) (defaultTypeAlterations y)
ETyCon (ETCon "Integer") -> int
ETyCon (ETCon "Natural") -> tc "Int"
ETyCon (ETCon "Natural") -> int
ETyCon (ETCon "Int32") -> int
ETyCon (ETCon "Int64") -> int
ETyCon (ETCon "Text") -> tc "String"
ETyCon (ETCon "Vector") -> tc "List"
ETyCon (ETCon "Double") -> tc "Float"