# JOE syntax highlight file for 5D

=Idle
=Comment 	green
=Docstring	cyan
=DocEscape	bold cyan
=Constant 	cyan
=Escape 	blue
=Keyword2 	bold
=Keyword        green
=Lambda         green
=Statement      red

:idle Idle
	*		idle
	"#"		special		recolor=-1
	"0-9"		first_digit	recolor=-1
	"\""		string_dq_1	recolor=-1
	"a-zA-Z?"	ident		buffer
	"'"             quoted1         recolor=-1
	"`"             quoted2         recolor=-1
	"@"             keyword recolor=-1
	"\\"            lambda1 recolor=-1
	":"             colon recolor=-1

:colon Keyword
	* idle noeat recolor=-1
	"=" idle
	
:lambda1 Lambda
	*		idle		noeat
	" " lambda
	"a-zA-Z0-9?!"	lambda
	
:lambda Lambda
	*		idle		noeat
	"a-zA-Z0-9?!"	lambda

:keyword Keyword2
	"a-zA-Z?"      keyword
	":" idle
	
:quoted1 Escape
	* quoted1
	"'" idle recolor=-1
	
:quoted2 Escape
	* quoted2
	"`" idle recolor=-1
	
:quoted Constant
	* idle recolor=-1
	"#"		qident
	"0-9"		first_digit	recolor=-1
	"\""		string_dq_1	recolor=-1
	"a-zA-Z?"	qident		buffer

:qident Constant
	*		idle		noeat
	"a-zA-Z0-9?!"	qident

:string_dq_1 Constant
	*		string_dq_1
	"\\"            string_dq_esc
	"\""		string_dq_2

:string_dq_esc Constant
	* string_dq_1
	
:string_dq_2 Constant
	*		idle		noeat
	
:first_digit Constant
	*		idle	noeat
	"."		float
	"0-9"		first_number

:special Constant
	* special2 noeat
	"x"	hex
	"o"	octal
	"b"     binary
	"*"     binary
	"!"     shebang

:special2 Constant
	"a-zA-Z" special2
	* idle noeat
	
:hex Constant
	*		idle	noeat
	"0-9A-Fa-f"	hex

:octal Constant
	*		idle	noeat
	"0-7"	octal

:binary Constant
	*		idle	noeat
	"0-1"	binary

:shebang Constant
	*             shebang
	"\n"           idle
	
:first_number Constant
	*		idle	noeat
	"0-9"		first_number
	"."		float

:maybe_float Constant
	*		idle	recolor=-2	noeat
	"0-9"		float		recolor=-2

:float Constant
	*		idle	noeat
	"eE"		epart
	"0-9"		float

:epart Constant
	*		idle	noeat
	"0-9+\-"	enum

:enum Constant
	*		idle	noeat
	"0-9"		enum

:ident Idle
	*		idle		noeat strings
	"\\"            kw
	"inline"        kw
	"in"            kw
	"let"           kw
	"letrec"        kw
	"let!"          kw
	"exports"	kw
	"export"        kw
	"if"            kw
	"else"          kw
	"elif"          kw
	"rec"           kw
	"from"          kw
	"import"        kw
	#"as"            kw
	"#exports"	kw
	"rem"           kw
	"vau"           kw
	"val"           kw
	"var"           kw
	"static"        kw
	"auto"          kw
	"through"       kw
	"by"            kw
	"module"        kw
	"with"          kw
	"before"        kw # DBC caller-checked
	"always"        kw # DBC callee-checked
	"afterwards"    kw # DBC ?
	"premise"       kw
	"conclusion"    kw
	"require"       kw # DBC
	"ensure"        kw # DBC
	"old"           kw # DBC
	"isa"           kw
	"isA"           kw
	"and"           kw
	"or"            kw
	"where"         kw
done
	"a-zA-Z0-9?!"	ident

:kw Keyword
	*	idle	noeat