From 7542e5c15d8f589bac3e05b0d61b0f5249499feb Mon Sep 17 00:00:00 2001 From: Thomas Abthorpe Date: Thu, 4 Oct 2007 03:02:59 +0000 Subject: fxp is a validating XML parser written completely in the functional programming language SML. fxp can validate both XML 1.0 and XML 1.1 documents. It has a programming interface allowing for production of XML applications based on fxp. It is installed with four example applications. WWW: http://www2.informatik.tu-muenchen.de/~berlea/Fxp PR: ports/116572 Submitted by: Timothy Bourke --- textproc/sml-fxp/files/patch-src-Parser-Params-dtd.sml | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 textproc/sml-fxp/files/patch-src-Parser-Params-dtd.sml (limited to 'textproc/sml-fxp/files/patch-src-Parser-Params-dtd.sml') diff --git a/textproc/sml-fxp/files/patch-src-Parser-Params-dtd.sml b/textproc/sml-fxp/files/patch-src-Parser-Params-dtd.sml new file mode 100644 index 000000000000..c8d64a19371f --- /dev/null +++ b/textproc/sml-fxp/files/patch-src-Parser-Params-dtd.sml @@ -0,0 +1,18 @@ +diff -Naur src/Parser/Params/dtd.sml.orig src/Parser/Params/dtd.sml +--- src/Parser/Params/dtd.sml.orig 2003-10-09 09:47:56.000000000 -0500 ++++ src/Parser/Params/dtd.sml 2003-10-17 14:09:57.000000000 -0500 +@@ -290,10 +290,10 @@ + val _ = map (fn i => Array.update(preRedef,i,false)) [1,2,3,4,5] + val _ = GenEnt2Index dtd [0wx2D] (* "-" *) + val _ = ParEnt2Index dtd [0wx2D] (* "-" *) +- val _ = Vector.appi +- (fn (_,(name,lit,cs)) +- => (setGenEnt dtd (GenEnt2Index dtd name,(GE_INTERN(lit,cs),false)))) +- (predefined,1,NONE) ++ val _ = VectorSlice.appi ++ (fn (_,(name,lit,cs)) ++ => (setGenEnt dtd (GenEnt2Index dtd name,(GE_INTERN(lit,cs),false)))) ++ (VectorSlice.slice (predefined,1,NONE)) + in () + end + -- cgit v1.2.3