Mercurial > urweb
comparison xml/parse.sml @ 1593:7e2655b25ea1
Remove dummy entity
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 06 Nov 2011 08:14:53 -0500 |
parents | 1c9f8f06c1d6 |
children | 686fa4e7f397 |
comparison
equal
deleted
inserted
replaced
1592:1c9f8f06c1d6 | 1593:7e2655b25ea1 |
---|---|
53 raise Fail "Bad entity expression [1]" | 53 raise Fail "Bad entity expression [1]" |
54 end | 54 end |
55 else | 55 else |
56 raise Fail "Bad entity expansion [2]" | 56 raise Fail "Bad entity expansion [2]" |
57 in | 57 in |
58 print ("\t\t(\"" ^ ent ^ "\", " ^ exp ^ "),\n"); | 58 print ("\t\t(\"" ^ ent ^ "\", " ^ exp ^ ") ::\n"); |
59 loop () | 59 loop () |
60 end | 60 end |
61 | _ => raise Fail "Bad ENTITY line" | 61 | _ => raise Fail "Bad ENTITY line" |
62 else | 62 else |
63 loop () | 63 loop () |
64 in | 64 in |
65 loop () | 65 loop () |
66 end | 66 end |
67 in | 67 in |
68 print "structure Entities = struct\n"; | 68 print "structure Entities = struct\n"; |
69 print "\tval all = [\n"; | 69 print "\tval all =\n"; |
70 doFile "xml/xhtml-lat1.ent"; | 70 doFile "xml/xhtml-lat1.ent"; |
71 doFile "xml/xhtml-special.ent"; | 71 doFile "xml/xhtml-special.ent"; |
72 doFile "xml/xhtml-symbol.ent"; | 72 doFile "xml/xhtml-symbol.ent"; |
73 print "\t(\"\", 0)]\n"; | 73 print "\t[]\n"; |
74 print "end\n" | 74 print "end\n" |
75 end | 75 end |
76 | 76 |
77 val () = main () | 77 val () = main () |