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

from Data.Either import :: Either

:: Expr
	= Int !Int
	| 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