2016-06-13_19-20-18.lua

types.parseMany [[

HasPosition: { "source" = string, "line" = number, "character" = number, "strline" = string }

LeftUnaryExpressionOperator: "++" | "--" | "-" | "~" | "#" | "!"
TokenType: "String" | "Integer" | "Number" | "Identifier" | "Symbol" | "Hexadecimal" | "Binary" | "Byte"
ConstantExpressionType: "StringConstant" | "NumberConstant" | "IntegerConstant" | "ByteConstant" | "HexadecimalConstant" | "BinaryConstant"

ThrowExpression: { "type" = "ThrowExpression", "value" = Expression } & HasPosition
TypeOfExpression: { "type" = "TypeOfExpression", "rvalue" = Expression, "lvalue" = Expression | nil } & HasPosition
FunctionExpression: { "type" = "FunctionExpression", "class" = Type | nil, "parameters" = { number = { "name" = string, "class" = Type }, "body" = Block | nil } & HasPosition
TableExpression: { "type" = "TableExpression", "value" = { number = { Expression, Expression } } } & HasPosition
ArrayExpression: { "type" = "ArrayExpression", "value" = { number = Expression } } & HasPosition
BracketExpression: { "type" = "BracketExpression", "value" = Expression }
ConstantExpression: { "type" = ConstantExpressionType, "value" = string } & HasPosition

LeftUnaryExpression: { "type" = "LeftUnaryExpression", "value" = Expression, "operator" = LeftUnaryExpressionOperator } & HasPosition
RightUnaryExpression: { "type" = "RightUnaryExpression", "value" = Expression, "operator" = "++" | "--" } & HasPosition

BinaryExpression: { "type" = "BinaryExpression", "lvalue" = Expression, "rvalue" = Expression, "operator" = Expression } & HasPosition
PrimaryExpression: ConstantExpression | ThrowExpression | FunctionExpression | TypeOfExpression | BracketExpression | TableExpression | ArrayExpression
UnaryExpression: LeftUnaryExpression | RightUnaryExpression

Expression: PrimaryExpression | BinaryExpression | UnaryExpression

]]

local function const( type, value )
	return { type = type, value = value, source = "source", line = 1, character = 1, strline = tostring(value) }
end

assert( types.check( const( "NumberConstant", "5" ), "Expression" ) )

assert( types.check(
	const( "ThrowExpression", const( "NumberConstant", "5" ) ),
	"Expression"
) )

assert( types.check(
	const( "ArrayExpression", {
		const( "StringConstant", "abc" );
		const( "NumberConstant", "5" );
	} ),
	"Expression" ) )