blob: 64895f6d545b2c04649c11ca6fa0fc5e27e5b80c (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
definition module Sjit.Syntax
from Data.Either import :: Either
:: Expr
= Int !Int
| Bool !Bool
| Var !String
| App !String ![Expr]
| If !Expr !Expr !Expr
:: Function =
{ fun_name :: !String
, fun_args :: ![String]
, fun_expr :: !Expr
}
parse_function :: !String -> Either String Function
parse_interactive_line :: !String -> Either String Function
|
