Diff of /trunk/src/basis/basis-names.sml

Parent Directory | Revision Log | Patch

	revision 57, Fri Apr 30 14:41:31 2010 UTC	revision 79, Tue May 25 01:55:48 2010 UTC
#	Line 9	Line 9
9	structure BasisNames =	structure BasisNames =
10	struct	struct
11
12	(* operators *)	(* binary operators *)
13	val op_at = Atom.atom "@"	val op_at = Atom.atom "@"
14	val op_add = Atom.atom "+"	val op_add = Atom.atom "+"
15	val op_sub = Atom.atom "-"	val op_sub = Atom.atom "-"
#	Line 17	Line 17
17	val op_div = Atom.atom "/"	val op_div = Atom.atom "/"
18	val op_lt = Atom.atom "<"	val op_lt = Atom.atom "<"
19	val op_lte = Atom.atom "<="	val op_lte = Atom.atom "<="
20	val op_eql = Atom.atom "=="	val op_equ = Atom.atom "=="
21	val op_neq = Atom.atom "!="	val op_neq = Atom.atom "!="
22	val op_gte = Atom.atom ">="	val op_gte = Atom.atom ">="
23	val op_gt = Atom.atom ">"	val op_gt = Atom.atom ">"
24		val op_subscript = Atom.atom "[]"
25
26		(* unary operators *)
27		val op_neg = Atom.atom "unary -"
28		val op_not = Atom.atom "!"
29	val op_D = Atom.atom "D"	val op_D = Atom.atom "D"
	val op_orelse = Atom.atom "||"
	val op_andalso = Atom.atom "&&"
30	val op_norm = Atom.atom "|()|"	val op_norm = Atom.atom "|()|"
31
32	(* function names *)	(* function names *)

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.57   changed lines   Added in v.79

---

root@smlnj-gforge.cs.uchicago.edu	ViewVC Help
Powered by ViewVC 1.0.0