SCM Repository
[sml3d] Diff of /trunk/sml3d/gen/gen-from-xml/spec-parser/main.sml
Diff of /trunk/sml3d/gen/gen-from-xml/spec-parser/main.sml
Parent Directory
|
Revision Log
|
Patch
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 *) |
|
Legend:
Removed from v.1322 |
|
changed lines |
|
Added in v.1323 |
|
|