aboutsummaryrefslogtreecommitdiff
path: root/Sjit/Syntax.dcl
blob: 6a9f05691961d779c551de4c44c68f2c3049260b (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
definition module Sjit.Syntax

from Data.Either import :: Either

:: Expr
	= Int !Int
	| Bool !Bool
	| Var !String
	| App !String ![Expr]

:: Function =
	{ fun_name :: !String
	, fun_args :: ![String]
	, fun_expr :: !Expr
	}

parse_function :: !String -> Either String Function
parse_interactive_line :: !String -> Either String Function