L Syntax

gistfile1.txt

# For now we're doing simple ASCII identifiers, but we'll add unicode support in the parser later.

identifier		::= letter subsequent* | '_' subsequent+
subsequent		::= letter | digit | '_'
letter			::= 'a'...'z' | 'A'...'Z'

integer			::= decimalinteger | hexinteger | bininteger
decimalinteger		::= nonzerodigit digit* | '0'
hexinteger		::= '0' ('x' | 'X') hexdigit+
bininteger		::= '0' ('b' | 'B') bindigit+
nonzerodigit		::= '1'...'9'
digit			::= '0'...'9'
bindigit		::= '0' | '1'
hexdigit		::= digit | 'a'...'f' | 'A'...'F'

float			::= decimalinteger (mantissa | mantissa exponent)
mantissa		::= '.' digit*
exponent		::= ('e' | 'E') ['+' | '-'] digit+

imaginary		::= (integer | float) ('j' | 'J')

sequence		::= '[' (commalist | range) ']'
range			::= (['-'] decimalinteger ':' [['-'] decimalinteger]) [stride]
			  | (':' ['-'] decimalinteger) [stride]
stride			::= '\' ['-'] decimalinteger
commalist		::= expression | expression ',' commalist

mapping			::= '{' maplist '}'
maplist			::= map | map ',' maplist
map			::= expression ':' expression

function		::= identifier '->' (expression | block)

block			::= indent blocklist outdent
blocklist		::= expression | expression br blocklist

# expression		::= ['='] expr
# expr			::= atom | '(' atom ')'
# molecule		::= atom | atom molecule+
# atom			::= identifier | literal
# literal			::= integer | float | imaginary | sequence | mapping | string | function | bottom

bottom			::= '_'