[hcoop/debian/mlton.git] / regression / id.sml

(* id.sml *)

(* Checks parsing of identifiers. *)

val ? = {* = op*, + = op+}
val op* = # * ?
val op+ = # + ?;

type '& = ' list
type t = int&
type ''`` = ''
type ('0,'_) == = '_`` &;

fun !x=x=x
fun ''`x:''=(x=x;x);

infix v
fun 3v? = 0
  | _v? = 1;
Commit	Line	Data
7f918cf1 CE	1	(* id.sml *)
	2
	3	(* Checks parsing of identifiers. *)
	4
	5	val ? = {* = op*, + = op+}
	6	val op* = # * ?
	7	val op+ = # + ?;
	8
	9	type '& = ' list
	10	type t = int&
	11	type ''`` = ''
	12	type ('0,'_) == = '_`` &;
	13
	14	fun !x=x=x
	15	fun ''`x:''=(x=x;x);
	16
	17	infix v
	18	fun 3v? = 0
	19	\| _v? = 1;