Mercurial > urweb
diff src/compiler.sml @ 135:b1cfe49ce692
Proper escaping of cdata
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Thu, 17 Jul 2008 13:33:56 -0400 |
| parents | 18299126a343 |
| children | d6d78055f001 |
line wrap: on
line diff
--- a/src/compiler.sml Thu Jul 17 13:12:16 2008 -0400 +++ b/src/compiler.sml Thu Jul 17 13:33:56 2008 -0400 @@ -51,7 +51,8 @@ val () = TextIO.closeOut outf val () = (ErrorMsg.resetErrors (); - ErrorMsg.resetPositioning filename) + ErrorMsg.resetPositioning filename; + Lex.UserDeclarations.initialize ()) val file = TextIO.openIn fname fun get _ = TextIO.input file fun parseerror (s, p1, p2) = ErrorMsg.errorAt' (p1, p2) s @@ -79,7 +80,8 @@ fun parseLac filename = let val () = (ErrorMsg.resetErrors (); - ErrorMsg.resetPositioning filename) + ErrorMsg.resetPositioning filename; + Lex.UserDeclarations.initialize ()) val file = TextIO.openIn filename fun get _ = TextIO.input file fun parseerror (s, p1, p2) = ErrorMsg.errorAt' (p1, p2) s