Diff of /trunk/sml3d/gen/gen-from-xml/spec-parser/main.sml

Parent Directory | Revision Log | Patch

	revision 1322, Thu Nov 14 18:40:13 2013 UTC	revision 1323, Fri Nov 15 15:07:59 2013 UTC
#	Line 14	Line 14
14	fun lexErr errStrm (pos, msg) = Error.errorAt(errStrm, (pos, pos), msg)	fun lexErr errStrm (pos, msg) = Error.errorAt(errStrm, (pos, pos), msg)
15
16	(* map tokens to strings *)	(* map tokens to strings *)
17	fun tokToString (GLSpecTokens.ID x) = concat["ID(", Atom.toString x, ")"]	fun tokToString (GLSpecTokens.CDATA _) = "<![CDATA[ ... ]]>"
18	| tokToString (GLSpecTokens.LIT s) = concat["LIT(", String.toString s, ")"]	| tokToString (GLSpecTokens.TEXT s) = "TEXT"
19	| tokToString (GLSpecTokens.COMPSIZE s) = concat["COMPSIZE(", String.toString s, ")"]	| tokToString (GLSpecTokens.ID s) = concat["ID", Atom.toString s, ")"]
20		| tokToString (GLSpecTokens.LIT s) = concat["\"", String.toString s, "\""]
21	| tokToString tok = GLSpecTokens.toString tok	| tokToString tok = GLSpecTokens.toString tok
22
23	(* error function for parsers *)	(* error function for parsers *)

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.1322   changed lines   Added in v.1323

---

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