Switched around EId.

This commit is contained in:
Samuel Hammersberg 2023-03-23 17:54:41 +01:00
parent e283e83486
commit c19f821892

View file

@ -18,7 +18,7 @@ data Bind = Bind Id [Id] ExpT
deriving (Show, Ord, Eq)
data Exp
= EId Id
= EId Ident
| ELit Lit
| ELet Id ExpT ExpT
| EApp Type ExpT ExpT