[MLton-commit] r5397

[Vesa Karvonen]

ext.sml also belongs in detail/common.
----------------------------------------------------------------------

A   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/common/ext.sml
D   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ext.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlkit/extensions.mlb
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/extensions.use

----------------------------------------------------------------------

Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/common/ext.sml (from rev 5393, mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ext.sml)

Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ext.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ext.sml	2007-03-06 06:10:41 UTC (rev 5396)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ext.sml	2007-03-06 06:37:06 UTC (rev 5397)
@@ -1,12 +0,0 @@
-(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
- *
- * This code is released under the MLton license, a BSD-style license.
- * See the LICENSE file or http://mlton.org/License for details.
- *)
-
-structure Ext = struct
-   structure Exn = struct
-      fun addMessager _ = ()
-      fun history _ = []
-   end
-end

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlkit/extensions.mlb
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlkit/extensions.mlb	2007-03-06 06:10:41 UTC (rev 5396)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlkit/extensions.mlb	2007-03-06 06:37:06 UTC (rev 5397)
@@ -7,5 +7,5 @@
 local
    $(SML_LIB)/basis/basis.mlb
 in
-   ../ext.sml
+   ../../detail/common/ext.sml
 end

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/extensions.use
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/extensions.use	2007-03-06 06:10:41 UTC (rev 5396)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/extensions.use	2007-03-06 06:37:06 UTC (rev 5397)
@@ -6,4 +6,4 @@
 
 val () =
     app use
-        ["detail/ext.sml"]
+        ["detail/common/ext.sml"]