ino.vartan

#name ino;

root
	: decls opt_nl #ast decls
	;
decls
	: decls nl decl #ast decls... decl
	| decl
	;
decl
	: data
	;
data
	: kw_data id ty_vars opt_nl def conss semicolon #ast id ty_vars conss
	;
ty_vars
	: ty_vars ty_var #ast ty_vars... ty_var
	| ty_var
	|
	;
ty_var
	: id
	;
conss
	: conss or cons #ast conss... cons
	| cons
	;
cons
	: id opt_type_lits opt_nl #ast id opt_type_lits
	;
type_lit
	: id
	| l_paren id ty_vars r_paren #ast id ty_vars
	;
type_lits
	: type_lits type_lit #ast type_lits... type_lit
	| type_lit
	;
opt_type_lits
	: type_lits
	|
	;
opt_nl
	: nl
	|
	;

ws #skip
	: "[\u{0009}\u{0020}]+";
nl
	: "[\u{000A}\u{000D}]+";
def
	: '=';
or
	: '|';
semicolon
	: ';';
l_paren
	: '(';
r_paren
	: ')';
kw_data
	: 'data';
id
	: "[A-Za-z][A-Za-z0-9]*";