4 Core Programs

Statements

<statement>	::=	<statement> <statement>
	|	local { <variable> }+ in <statement> end
	|	proc { <atom> } "{" <variable> { <variable> } "}"
		<statement>
		end
	|	"{" <variable> { <variable> } "}"
	|	lock <variable> then <statement> end
	|	thread <statement> end
	|	try <statement>
		catch <variable> then <statement>
		end
	|	<variable> "=" "@" <variable>
	|	<variable> ":=" <variable>
	|	<variable> "=" <variable> ":=" <variable>
	|	<variable> "=" <expression>
	|	skip

Expressions

<expression>	::=	<variable>
	|	<atom> | <int> | <float>
	|	<label> "(" { <feature> ":" <expression> } [ "..." ] ")"

<label>

::=

<variable label> | <atom label>

<feature>

::=

<variable> | <atom> | <int>

Methods

<method>	::=	meth "!" <variable> "(" "..." ")" "=" <variable>
		<statement>
		end