Mercurial > urweb

comparison xml/parse.sml @ 1593:7e2655b25ea1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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 ()