inference from haskell writing
[fp.git] / ast.dcl
1 definition module ast
2
3 :: AST = AST [Function]
4
5 :: Function = Function String [String] Expression
6
7 :: Expression
8 = Literal Value
9 | Variable String
10 | Apply Expression Expression
11 | Lambda String Expression
12 | Let String Expression Expression
13 | Code String
14 | ..
15
16 :: Value
17 = Int Int
18 | Bool Bool
19 | Char Char
20
21 instance toString AST
22 instance toString Function
23 instance toString Expression
24 instance toString Value