[MLton-commit] r7450
Matthew Fluet
fluet at mlton.org
Fri Apr 2 12:18:14 PST 2010
Update documentation.
----------------------------------------------------------------------
U mlton/trunk/lib/ckit-lib/ckit.patch
U mlton/trunk/lib/mlrisc-lib/MLRISC.patch
U mlton/trunk/lib/smlnj-lib/smlnj-lib.patch
U mlton/trunk/lib/smlnj-lib/smlnj-lib.tgz
----------------------------------------------------------------------
Modified: mlton/trunk/lib/ckit-lib/ckit.patch
===================================================================
--- mlton/trunk/lib/ckit-lib/ckit.patch 2010-04-02 19:22:37 UTC (rev 7449)
+++ mlton/trunk/lib/ckit-lib/ckit.patch 2010-04-02 20:18:13 UTC (rev 7450)
@@ -524,7 +524,7 @@
, List.map (functionArgConv tidtab) argl
diff -N -C 2 -r ckit/src/ckit-lib.mlb ckit-mlton/src/ckit-lib.mlb
*** ckit/src/ckit-lib.mlb 1969-12-31 19:00:00.000000000 -0500
---- ckit-mlton/src/ckit-lib.mlb 2010-04-02 15:07:59.000000000 -0400
+--- ckit-mlton/src/ckit-lib.mlb 2010-04-02 16:08:40.000000000 -0400
***************
*** 0 ****
--- 1,888 ----
Modified: mlton/trunk/lib/mlrisc-lib/MLRISC.patch
===================================================================
--- mlton/trunk/lib/mlrisc-lib/MLRISC.patch 2010-04-02 19:22:37 UTC (rev 7449)
+++ mlton/trunk/lib/mlrisc-lib/MLRISC.patch 2010-04-02 20:18:13 UTC (rev 7450)
@@ -12,7 +12,7 @@
# This tool generates HTML pages in my own format given a stylized Latex file.
diff -N -C 2 -r MLRISC/README.mlton MLRISC-mlton/README.mlton
*** MLRISC/README.mlton 1969-12-31 19:00:00.000000000 -0500
---- MLRISC-mlton/README.mlton 2009-10-02 09:51:07.000000000 -0400
+--- MLRISC-mlton/README.mlton 2010-04-02 15:25:14.000000000 -0400
***************
*** 0 ****
--- 1,8 ----
@@ -20,7 +20,7 @@
+ deriving the {{{.mlb}}} file from the {{{.cm}}} files:
+ * eliminate or-patterns: Duplicate the whole match ({{{p => e}}}) at each of the patterns.
+ * eliminate vector constants: Change {{{#[}}} to {{{Vector.fromList [}}}.
-+ * eliminate {{{withtype}}} in signatures
++ * eliminate {{{withtype}}} in signatures.
+ * eliminate sequential {{{withtype}}} expansions: Most could be rewritten as a sequence of type definitions and datatype definitions.
+ * eliminate higher-order functors: Every higher-order functor definition and application could be uncurried in the obvious way.
+ * eliminate {{{where <str> = <str>}}}: Quite painful to expand out all the flexible types in the respective structures. Furthermore, many of the implied type equalities aren't needed, but it's too hard to pick out the right ones.
@@ -33501,7 +33501,7 @@
val array'': int * (int -> 'a) -> 'a array
diff -N -C 2 -r MLRISC/mlb/ALPHA.mlb MLRISC-mlton/mlb/ALPHA.mlb
*** MLRISC/mlb/ALPHA.mlb 1969-12-31 19:00:00.000000000 -0500
---- MLRISC-mlton/mlb/ALPHA.mlb 2010-04-02 15:08:16.000000000 -0400
+--- MLRISC-mlton/mlb/ALPHA.mlb 2010-04-02 16:08:55.000000000 -0400
***************
*** 0 ****
--- 1,474 ----
@@ -33981,7 +33981,7 @@
+ end
diff -N -C 2 -r MLRISC/mlb/AMD64-Peephole.mlb MLRISC-mlton/mlb/AMD64-Peephole.mlb
*** MLRISC/mlb/AMD64-Peephole.mlb 1969-12-31 19:00:00.000000000 -0500
---- MLRISC-mlton/mlb/AMD64-Peephole.mlb 2010-04-02 15:08:17.000000000 -0400
+--- MLRISC-mlton/mlb/AMD64-Peephole.mlb 2010-04-02 16:08:56.000000000 -0400
***************
*** 0 ****
--- 1,60 ----
@@ -34047,7 +34047,7 @@
+ end
diff -N -C 2 -r MLRISC/mlb/AMD64.mlb MLRISC-mlton/mlb/AMD64.mlb
*** MLRISC/mlb/AMD64.mlb 1969-12-31 19:00:00.000000000 -0500
---- MLRISC-mlton/mlb/AMD64.mlb 2010-04-02 15:08:16.000000000 -0400
+--- MLRISC-mlton/mlb/AMD64.mlb 2010-04-02 16:08:56.000000000 -0400
***************
*** 0 ****
--- 1,670 ----
@@ -34723,7 +34723,7 @@
+ end
diff -N -C 2 -r MLRISC/mlb/CCall-sparc.mlb MLRISC-mlton/mlb/CCall-sparc.mlb
*** MLRISC/mlb/CCall-sparc.mlb 1969-12-31 19:00:00.000000000 -0500
---- MLRISC-mlton/mlb/CCall-sparc.mlb 2010-04-02 15:08:17.000000000 -0400
+--- MLRISC-mlton/mlb/CCall-sparc.mlb 2010-04-02 16:08:57.000000000 -0400
***************
*** 0 ****
--- 1,118 ----
@@ -34847,7 +34847,7 @@
+ end
diff -N -C 2 -r MLRISC/mlb/CCall-x86-64.mlb MLRISC-mlton/mlb/CCall-x86-64.mlb
*** MLRISC/mlb/CCall-x86-64.mlb 1969-12-31 19:00:00.000000000 -0500
---- MLRISC-mlton/mlb/CCall-x86-64.mlb 2010-04-02 15:08:18.000000000 -0400
+--- MLRISC-mlton/mlb/CCall-x86-64.mlb 2010-04-02 16:08:57.000000000 -0400
***************
*** 0 ****
--- 1,125 ----
@@ -34978,7 +34978,7 @@
+ end
diff -N -C 2 -r MLRISC/mlb/CCall-x86.mlb MLRISC-mlton/mlb/CCall-x86.mlb
*** MLRISC/mlb/CCall-x86.mlb 1969-12-31 19:00:00.000000000 -0500
---- MLRISC-mlton/mlb/CCall-x86.mlb 2010-04-02 15:08:19.000000000 -0400
+--- MLRISC-mlton/mlb/CCall-x86.mlb 2010-04-02 16:08:58.000000000 -0400
***************
*** 0 ****
--- 1,155 ----
@@ -35139,7 +35139,7 @@
+ end
diff -N -C 2 -r MLRISC/mlb/CCall.mlb MLRISC-mlton/mlb/CCall.mlb
*** MLRISC/mlb/CCall.mlb 1969-12-31 19:00:00.000000000 -0500
---- MLRISC-mlton/mlb/CCall.mlb 2010-04-02 15:08:17.000000000 -0400
+--- MLRISC-mlton/mlb/CCall.mlb 2010-04-02 16:08:56.000000000 -0400
***************
*** 0 ****
--- 1,96 ----
@@ -35241,7 +35241,7 @@
+ end
diff -N -C 2 -r MLRISC/mlb/Control.mlb MLRISC-mlton/mlb/Control.mlb
*** MLRISC/mlb/Control.mlb 1969-12-31 19:00:00.000000000 -0500
---- MLRISC-mlton/mlb/Control.mlb 2010-04-02 15:08:19.000000000 -0400
+--- MLRISC-mlton/mlb/Control.mlb 2010-04-02 16:08:58.000000000 -0400
***************
*** 0 ****
--- 1,104 ----
@@ -35351,7 +35351,7 @@
+ end
diff -N -C 2 -r MLRISC/mlb/Graphs.mlb MLRISC-mlton/mlb/Graphs.mlb
*** MLRISC/mlb/Graphs.mlb 1969-12-31 19:00:00.000000000 -0500
---- MLRISC-mlton/mlb/Graphs.mlb 2010-04-02 15:08:19.000000000 -0400
+--- MLRISC-mlton/mlb/Graphs.mlb 2010-04-02 16:08:58.000000000 -0400
***************
*** 0 ****
--- 1,708 ----
@@ -36065,7 +36065,7 @@
+ end
diff -N -C 2 -r MLRISC/mlb/HPPA.mlb MLRISC-mlton/mlb/HPPA.mlb
*** MLRISC/mlb/HPPA.mlb 1969-12-31 19:00:00.000000000 -0500
---- MLRISC-mlton/mlb/HPPA.mlb 2010-04-02 15:08:20.000000000 -0400
+--- MLRISC-mlton/mlb/HPPA.mlb 2010-04-02 16:08:59.000000000 -0400
***************
*** 0 ****
--- 1,492 ----
@@ -36563,7 +36563,7 @@
+ end
diff -N -C 2 -r MLRISC/mlb/IA32-Peephole.mlb MLRISC-mlton/mlb/IA32-Peephole.mlb
*** MLRISC/mlb/IA32-Peephole.mlb 1969-12-31 19:00:00.000000000 -0500
---- MLRISC-mlton/mlb/IA32-Peephole.mlb 2010-04-02 15:08:20.000000000 -0400
+--- MLRISC-mlton/mlb/IA32-Peephole.mlb 2010-04-02 16:08:59.000000000 -0400
***************
*** 0 ****
--- 1,60 ----
@@ -36629,7 +36629,7 @@
+ end
diff -N -C 2 -r MLRISC/mlb/IA32.mlb MLRISC-mlton/mlb/IA32.mlb
*** MLRISC/mlb/IA32.mlb 1969-12-31 19:00:00.000000000 -0500
---- MLRISC-mlton/mlb/IA32.mlb 2010-04-02 15:08:20.000000000 -0400
+--- MLRISC-mlton/mlb/IA32.mlb 2010-04-02 16:08:59.000000000 -0400
***************
*** 0 ****
--- 1,800 ----
@@ -37435,7 +37435,7 @@
+ end
diff -N -C 2 -r MLRISC/mlb/Lib.mlb MLRISC-mlton/mlb/Lib.mlb
*** MLRISC/mlb/Lib.mlb 1969-12-31 19:00:00.000000000 -0500
---- MLRISC-mlton/mlb/Lib.mlb 2010-04-02 15:08:20.000000000 -0400
+--- MLRISC-mlton/mlb/Lib.mlb 2010-04-02 16:08:59.000000000 -0400
***************
*** 0 ****
--- 1,263 ----
@@ -37704,7 +37704,7 @@
+ end
diff -N -C 2 -r MLRISC/mlb/MLRISC.mlb MLRISC-mlton/mlb/MLRISC.mlb
*** MLRISC/mlb/MLRISC.mlb 1969-12-31 19:00:00.000000000 -0500
---- MLRISC-mlton/mlb/MLRISC.mlb 2010-04-02 15:08:20.000000000 -0400
+--- MLRISC-mlton/mlb/MLRISC.mlb 2010-04-02 16:08:59.000000000 -0400
***************
*** 0 ****
--- 1,1746 ----
@@ -39456,7 +39456,7 @@
+ end
diff -N -C 2 -r MLRISC/mlb/MLTREE.mlb MLRISC-mlton/mlb/MLTREE.mlb
*** MLRISC/mlb/MLTREE.mlb 1969-12-31 19:00:00.000000000 -0500
---- MLRISC-mlton/mlb/MLTREE.mlb 2010-04-02 15:08:20.000000000 -0400
+--- MLRISC-mlton/mlb/MLTREE.mlb 2010-04-02 16:08:59.000000000 -0400
***************
*** 0 ****
--- 1,209 ----
@@ -39671,7 +39671,7 @@
+ end
diff -N -C 2 -r MLRISC/mlb/PPC.mlb MLRISC-mlton/mlb/PPC.mlb
*** MLRISC/mlb/PPC.mlb 1969-12-31 19:00:00.000000000 -0500
---- MLRISC-mlton/mlb/PPC.mlb 2010-04-02 15:08:21.000000000 -0400
+--- MLRISC-mlton/mlb/PPC.mlb 2010-04-02 16:09:00.000000000 -0400
***************
*** 0 ****
--- 1,573 ----
@@ -40250,7 +40250,7 @@
+ end
diff -N -C 2 -r MLRISC/mlb/Peephole.mlb MLRISC-mlton/mlb/Peephole.mlb
*** MLRISC/mlb/Peephole.mlb 1969-12-31 19:00:00.000000000 -0500
---- MLRISC-mlton/mlb/Peephole.mlb 2010-04-02 15:08:21.000000000 -0400
+--- MLRISC-mlton/mlb/Peephole.mlb 2010-04-02 16:09:00.000000000 -0400
***************
*** 0 ****
--- 1,61 ----
@@ -40317,7 +40317,7 @@
+ end
diff -N -C 2 -r MLRISC/mlb/RA.mlb MLRISC-mlton/mlb/RA.mlb
*** MLRISC/mlb/RA.mlb 1969-12-31 19:00:00.000000000 -0500
---- MLRISC-mlton/mlb/RA.mlb 2010-04-02 15:08:21.000000000 -0400
+--- MLRISC-mlton/mlb/RA.mlb 2010-04-02 16:09:00.000000000 -0400
***************
*** 0 ****
--- 1,152 ----
@@ -40475,7 +40475,7 @@
+ end
diff -N -C 2 -r MLRISC/mlb/SPARC.mlb MLRISC-mlton/mlb/SPARC.mlb
*** MLRISC/mlb/SPARC.mlb 1969-12-31 19:00:00.000000000 -0500
---- MLRISC-mlton/mlb/SPARC.mlb 2010-04-02 15:08:22.000000000 -0400
+--- MLRISC-mlton/mlb/SPARC.mlb 2010-04-02 16:09:01.000000000 -0400
***************
*** 0 ****
--- 1,538 ----
@@ -41019,7 +41019,7 @@
+ end
diff -N -C 2 -r MLRISC/mlb/StagedAlloc.mlb MLRISC-mlton/mlb/StagedAlloc.mlb
*** MLRISC/mlb/StagedAlloc.mlb 1969-12-31 19:00:00.000000000 -0500
---- MLRISC-mlton/mlb/StagedAlloc.mlb 2010-04-02 15:08:22.000000000 -0400
+--- MLRISC-mlton/mlb/StagedAlloc.mlb 2010-04-02 16:09:01.000000000 -0400
***************
*** 0 ****
--- 1,91 ----
@@ -41116,7 +41116,7 @@
+ end
diff -N -C 2 -r MLRISC/mlb/Visual.mlb MLRISC-mlton/mlb/Visual.mlb
*** MLRISC/mlb/Visual.mlb 1969-12-31 19:00:00.000000000 -0500
---- MLRISC-mlton/mlb/Visual.mlb 2010-04-02 15:08:22.000000000 -0400
+--- MLRISC-mlton/mlb/Visual.mlb 2010-04-02 16:09:01.000000000 -0400
***************
*** 0 ****
--- 1,252 ----
@@ -41374,7 +41374,7 @@
+ end
diff -N -C 2 -r MLRISC/mlrisc-lib.mlb MLRISC-mlton/mlrisc-lib.mlb
*** MLRISC/mlrisc-lib.mlb 1969-12-31 19:00:00.000000000 -0500
---- MLRISC-mlton/mlrisc-lib.mlb 2010-04-02 15:08:22.000000000 -0400
+--- MLRISC-mlton/mlrisc-lib.mlb 2010-04-02 16:09:01.000000000 -0400
***************
*** 0 ****
--- 1,24 ----
Modified: mlton/trunk/lib/smlnj-lib/smlnj-lib.patch
===================================================================
--- mlton/trunk/lib/smlnj-lib/smlnj-lib.patch 2010-04-02 19:22:37 UTC (rev 7449)
+++ mlton/trunk/lib/smlnj-lib/smlnj-lib.patch 2010-04-02 20:18:13 UTC (rev 7450)
@@ -1,6 +1,6 @@
diff -N -C 2 -r smlnj-lib/Controls/controls-lib.mlb smlnj-lib-mlton/Controls/controls-lib.mlb
*** smlnj-lib/Controls/controls-lib.mlb 1969-12-31 19:00:00.000000000 -0500
---- smlnj-lib-mlton/Controls/controls-lib.mlb 2010-04-02 15:08:32.000000000 -0400
+--- smlnj-lib-mlton/Controls/controls-lib.mlb 2010-04-02 16:09:14.000000000 -0400
***************
*** 0 ****
--- 1,170 ----
@@ -324,7 +324,7 @@
in
diff -N -C 2 -r smlnj-lib/HTML/html-gram.desc smlnj-lib-mlton/HTML/html-gram.desc
*** smlnj-lib/HTML/html-gram.desc 1969-12-31 19:00:00.000000000 -0500
---- smlnj-lib-mlton/HTML/html-gram.desc 2010-04-02 15:08:32.000000000 -0400
+--- smlnj-lib-mlton/HTML/html-gram.desc 2010-04-02 16:09:14.000000000 -0400
***************
*** 0 ****
--- 1,6055 ----
@@ -6385,7 +6385,7 @@
+ 788 goto table entries
diff -N -C 2 -r smlnj-lib/HTML/html-gram.sig smlnj-lib-mlton/HTML/html-gram.sig
*** smlnj-lib/HTML/html-gram.sig 1969-12-31 19:00:00.000000000 -0500
---- smlnj-lib-mlton/HTML/html-gram.sig 2010-04-02 15:08:32.000000000 -0400
+--- smlnj-lib-mlton/HTML/html-gram.sig 2010-04-02 16:09:14.000000000 -0400
***************
*** 0 ****
--- 1,140 ----
@@ -6531,7 +6531,7 @@
+ end
diff -N -C 2 -r smlnj-lib/HTML/html-gram.sml smlnj-lib-mlton/HTML/html-gram.sml
*** smlnj-lib/HTML/html-gram.sml 1969-12-31 19:00:00.000000000 -0500
---- smlnj-lib-mlton/HTML/html-gram.sml 2010-04-02 15:08:32.000000000 -0400
+--- smlnj-lib-mlton/HTML/html-gram.sml 2010-04-02 16:09:14.000000000 -0400
***************
*** 0 ****
--- 1,2477 ----
@@ -9014,7 +9014,7 @@
+ end
diff -N -C 2 -r smlnj-lib/HTML/html-lex.sml smlnj-lib-mlton/HTML/html-lex.sml
*** smlnj-lib/HTML/html-lex.sml 1969-12-31 19:00:00.000000000 -0500
---- smlnj-lib-mlton/HTML/html-lex.sml 2010-04-02 15:08:32.000000000 -0400
+--- smlnj-lib-mlton/HTML/html-lex.sml 2010-04-02 16:09:14.000000000 -0400
***************
*** 0 ****
--- 1,670 ----
@@ -9690,7 +9690,7 @@
+ end
diff -N -C 2 -r smlnj-lib/HTML/html-lib.mlb smlnj-lib-mlton/HTML/html-lib.mlb
*** smlnj-lib/HTML/html-lib.mlb 1969-12-31 19:00:00.000000000 -0500
---- smlnj-lib-mlton/HTML/html-lib.mlb 2010-04-02 15:08:33.000000000 -0400
+--- smlnj-lib-mlton/HTML/html-lib.mlb 2010-04-02 16:09:15.000000000 -0400
***************
*** 0 ****
--- 1,298 ----
@@ -9994,7 +9994,7 @@
+ end
diff -N -C 2 -r smlnj-lib/HashCons/hash-cons-lib.mlb smlnj-lib-mlton/HashCons/hash-cons-lib.mlb
*** smlnj-lib/HashCons/hash-cons-lib.mlb 1969-12-31 19:00:00.000000000 -0500
---- smlnj-lib-mlton/HashCons/hash-cons-lib.mlb 2010-04-02 15:08:32.000000000 -0400
+--- smlnj-lib-mlton/HashCons/hash-cons-lib.mlb 2010-04-02 16:09:14.000000000 -0400
***************
*** 0 ****
--- 1,144 ----
@@ -10144,7 +10144,7 @@
+ end
diff -N -C 2 -r smlnj-lib/INet/inet-lib.mlb smlnj-lib-mlton/INet/inet-lib.mlb
*** smlnj-lib/INet/inet-lib.mlb 1969-12-31 19:00:00.000000000 -0500
---- smlnj-lib-mlton/INet/inet-lib.mlb 2010-04-02 15:08:33.000000000 -0400
+--- smlnj-lib-mlton/INet/inet-lib.mlb 2010-04-02 16:09:15.000000000 -0400
***************
*** 0 ****
--- 1,144 ----
@@ -10294,7 +10294,7 @@
+ end
diff -N -C 2 -r smlnj-lib/JSON/json-lib.mlb smlnj-lib-mlton/JSON/json-lib.mlb
*** smlnj-lib/JSON/json-lib.mlb 2009-10-02 09:51:26.000000000 -0400
---- smlnj-lib-mlton/JSON/json-lib.mlb 2010-04-02 15:08:33.000000000 -0400
+--- smlnj-lib-mlton/JSON/json-lib.mlb 2010-04-02 16:09:15.000000000 -0400
***************
*** 1,47 ****
- (* json-lib.mlb
@@ -10523,7 +10523,7 @@
end
diff -N -C 2 -r smlnj-lib/PP/pp-lib.mlb smlnj-lib-mlton/PP/pp-lib.mlb
*** smlnj-lib/PP/pp-lib.mlb 1969-12-31 19:00:00.000000000 -0500
---- smlnj-lib-mlton/PP/pp-lib.mlb 2010-04-02 15:08:33.000000000 -0400
+--- smlnj-lib-mlton/PP/pp-lib.mlb 2010-04-02 16:09:15.000000000 -0400
***************
*** 0 ****
--- 1,212 ----
@@ -10741,7 +10741,7 @@
+ end
diff -N -C 2 -r smlnj-lib/README.mlton smlnj-lib-mlton/README.mlton
*** smlnj-lib/README.mlton 1969-12-31 19:00:00.000000000 -0500
---- smlnj-lib-mlton/README.mlton 2009-10-02 09:51:07.000000000 -0400
+--- smlnj-lib-mlton/README.mlton 2010-04-02 15:28:21.000000000 -0400
***************
*** 0 ****
--- 1,15 ----
@@ -10752,17 +10752,17 @@
+ * {{{Util/graph-scc-fn.sml}}} (modified): Rewrote use of {{{where}}} structure specification.
+ * {{{Util/bit-array.sml}}} (modified): The computation of the {{{maxLen}}} is given by: {{{
+ val maxLen = 8*Word8Array.maxLen
-+ }}} This is fine in SML/NJ where {{{Word8Array.maxLen}}} is 16777215, but in MLton, {{{Word8Array.maxLen}}} is equal to {{{valOf(Int.maxInt)}}}, so the computation overflows. To accomodate both SML/NJ and MLton, the computation is replaced by {{{
++ }}} This is fine in SML/NJ where {{{Word8Array.maxLen}}} is 16777215, but in MLton, {{{Word8Array.maxLen}}} is equal to {{{valOf(Int.maxInt)}}}, so the computation overflows. To accommodate both SML/NJ and MLton, the computation is replaced by {{{
+ val maxLen = (8*Word8Array.maxLen) handle Overflow => Word8Array.maxLen
+ }}}
+ * {{{Util/engine.mlton.sml}}} (added, not exported): Implements {{{structure Engine}}}, providing time-limited, resumable computations using ["MLtonThread"], ["MLtonSignal"], and ["MLtonItimer"].
+ * {{{Util/time-limit.mlton.sml}}} (added): Implements {{{structure TimeLimit}}} using {{{structure Engine}}}. The SML/NJ implementation of {{{structure TimeLimit}}} uses SML/NJ's first-class continuations, signals, and interval timer.
-+ * {{{Util/time-limit.mlb}}} (added): Exports {{{structure TimeLimit}}}, which is ''not'' exported by {{{smlnj-lib.mlb}}}. Since MLton is very conservative in the presence of threads and signals, program performance may be adversely affected by unecessarily including {{{structure TimeLimit}}}.
++ * {{{Util/time-limit.mlb}}} (added): Exports {{{structure TimeLimit}}}, which is ''not'' exported by {{{smlnj-lib.mlb}}}. Since MLton is very conservative in the presence of threads and signals, program performance may be adversely affected by unnecessarily including {{{structure TimeLimit}}}.
+ * {{{HTML/html-elements-fn.sml}}} (modified): Rewrote use of ''or-patterns''.
+ * {{{HTML/html-attrs-fn.sml}}} (modified): Rewrote use of ''or-patterns''.
diff -N -C 2 -r smlnj-lib/Reactive/reactive-lib.mlb smlnj-lib-mlton/Reactive/reactive-lib.mlb
*** smlnj-lib/Reactive/reactive-lib.mlb 1969-12-31 19:00:00.000000000 -0500
---- smlnj-lib-mlton/Reactive/reactive-lib.mlb 2010-04-02 15:08:33.000000000 -0400
+--- smlnj-lib-mlton/Reactive/reactive-lib.mlb 2010-04-02 16:09:15.000000000 -0400
***************
*** 0 ****
--- 1,71 ----
@@ -10839,7 +10839,7 @@
+ end
diff -N -C 2 -r smlnj-lib/RegExp/regexp-lib.mlb smlnj-lib-mlton/RegExp/regexp-lib.mlb
*** smlnj-lib/RegExp/regexp-lib.mlb 1969-12-31 19:00:00.000000000 -0500
---- smlnj-lib-mlton/RegExp/regexp-lib.mlb 2010-04-02 15:08:33.000000000 -0400
+--- smlnj-lib-mlton/RegExp/regexp-lib.mlb 2010-04-02 16:09:15.000000000 -0400
***************
*** 0 ****
--- 1,235 ----
@@ -11080,7 +11080,7 @@
+ end
diff -N -C 2 -r smlnj-lib/Unix/unix-lib.mlb smlnj-lib-mlton/Unix/unix-lib.mlb
*** smlnj-lib/Unix/unix-lib.mlb 1969-12-31 19:00:00.000000000 -0500
---- smlnj-lib-mlton/Unix/unix-lib.mlb 2010-04-02 15:08:33.000000000 -0400
+--- smlnj-lib-mlton/Unix/unix-lib.mlb 2010-04-02 16:09:16.000000000 -0400
***************
*** 0 ****
--- 1,45 ----
@@ -11369,7 +11369,7 @@
diff -N -C 2 -r smlnj-lib/Util/smlnj-lib.mlb smlnj-lib-mlton/Util/smlnj-lib.mlb
*** smlnj-lib/Util/smlnj-lib.mlb 1969-12-31 19:00:00.000000000 -0500
---- smlnj-lib-mlton/Util/smlnj-lib.mlb 2010-04-02 15:08:34.000000000 -0400
+--- smlnj-lib-mlton/Util/smlnj-lib.mlb 2010-04-02 16:09:16.000000000 -0400
***************
*** 0 ****
--- 1,1108 ----
Modified: mlton/trunk/lib/smlnj-lib/smlnj-lib.tgz
===================================================================
(Binary files differ)
More information about the MLton-commit
mailing list