1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
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
|
