diff options
| author | Thomas Abthorpe <tabthorpe@FreeBSD.org> | 2007-10-04 03:02:59 +0000 |
|---|---|---|
| committer | Thomas Abthorpe <tabthorpe@FreeBSD.org> | 2007-10-04 03:02:59 +0000 |
| commit | 7542e5c15d8f589bac3e05b0d61b0f5249499feb (patch) | |
| tree | 7eb3a422ca7644f92eea916165fe3a75fe24c1fb /textproc/sml-fxp/files/patch-src-Unicode-Chars-uniChar.sml | |
| parent | - Update to 0.12 (diff) | |
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 <timbob at bigpond.com>
Diffstat (limited to 'textproc/sml-fxp/files/patch-src-Unicode-Chars-uniChar.sml')
| -rw-r--r-- | textproc/sml-fxp/files/patch-src-Unicode-Chars-uniChar.sml | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/textproc/sml-fxp/files/patch-src-Unicode-Chars-uniChar.sml b/textproc/sml-fxp/files/patch-src-Unicode-Chars-uniChar.sml new file mode 100644 index 000000000000..8fc0eb447202 --- /dev/null +++ b/textproc/sml-fxp/files/patch-src-Unicode-Chars-uniChar.sml @@ -0,0 +1,22 @@ +diff -Naur src/Unicode/Chars/uniChar.sml.orig src/Unicode/Chars/uniChar.sml +--- src/Unicode/Chars/uniChar.sml.orig 2003-10-09 09:47:58.000000000 -0500 ++++ src/Unicode/Chars/uniChar.sml 2003-10-17 13:43:07.000000000 -0500 +@@ -108,10 +108,14 @@ + if len<=maxlen orelse maxlen=0 + then Data2String (Vector2Data vec) + else let +- val cs1 = Vector.foldri +- (fn (_,c,cs) => c::cs) nil (vec,0,SOME (maxlen div 2)) +- val cs2 = Vector.foldri +- (fn (_,c,cs) => c::cs) nil (vec,len-3-maxlen div 2,NONE) ++ val cs1 = VectorSlice.foldri ++ (fn (_,c,cs) => c::cs) ++ nil ++ (VectorSlice.slice (vec,0,SOME (maxlen div 2))) ++ val cs2 = VectorSlice.foldri ++ (fn (_,c,cs) => c::cs) ++ nil ++ (VectorSlice.slice (vec,len-3-maxlen div 2,NONE)) + in Data2String cs1^"..."^Data2String cs2 + end + end |