Add structured types for parsing and type checking
[minfp.git] / int.dcl
1 definition module int
2
3 from Data.Either import :: Either
4 from ast import :: Expression, :: Value
5
6 :: Eval a
7
8 int :: Expression -> Either [String] Value