diff options
Diffstat (limited to 'textproc/sml-fxp/files/patch-src-Util-SymDict-dict.sml')
| -rw-r--r-- | textproc/sml-fxp/files/patch-src-Util-SymDict-dict.sml | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/textproc/sml-fxp/files/patch-src-Util-SymDict-dict.sml b/textproc/sml-fxp/files/patch-src-Util-SymDict-dict.sml new file mode 100644 index 000000000000..c6843938b4f9 --- /dev/null +++ b/textproc/sml-fxp/files/patch-src-Util-SymDict-dict.sml @@ -0,0 +1,23 @@ +diff -Naur src/Util/SymDict/dict.sml.orig src/Util/SymDict/dict.sml +--- src/Util/SymDict/dict.sml.orig 2003-10-09 09:47:59.000000000 -0500 ++++ src/Util/SymDict/dict.sml 2003-10-17 13:57:44.000000000 -0500 +@@ -230,7 +230,7 @@ + in () + end + in +- Array.appi addTo (oldTab,0,NONE) ++ Array.appi addTo oldTab + end + + (*--------------------------------------------------------------------*) +@@ -316,8 +316,8 @@ + (*--------------------------------------------------------------------*) + fun printDict X2String ({desc,tab,count,...}:'a Dict) = + (print (desc^" dictionary:\n"); +- Array.appi ++ ArraySlice.appi + (fn (n,(key,value)) => + print (" "^Int.toString n^": "^Key.toString key^" = "^X2String value^"\n")) +- (!tab,0,SOME (!count))) ++ (ArraySlice.slice(!tab,0,SOME (!count)))) + end |