[MLton-commit] r6953

[Vesa Karvonen]

Added the EMPTY signature for convenience.

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

U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/smlnj/sigs.cm
U   mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb
U   mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use
A   mltonlib/trunk/com/ssh/extended-basis/unstable/public/concept/empty.sig
U   mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/common.sml

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

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/smlnj/sigs.cm
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/smlnj/sigs.cm	2008-10-18 10:42:37 UTC (rev 6952)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/smlnj/sigs.cm	2008-10-18 10:48:13 UTC (rev 6953)
@@ -13,6 +13,7 @@
    ../../../public/concept/bounded.sig
    ../../../public/concept/cased.sig
    ../../../public/concept/cstringable.sig
+   ../../../public/concept/empty.sig
    ../../../public/concept/equality.sig
    ../../../public/concept/etaexp.sig
    ../../../public/concept/flags.sig

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb	2008-10-18 10:42:37 UTC (rev 6952)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb	2008-10-18 10:48:13 UTC (rev 6953)
@@ -57,6 +57,7 @@
          public/concept/bounded.sig
          public/concept/cased.sig
          public/concept/cstringable.sig
+         public/concept/empty.sig
          public/concept/equality.sig
          public/concept/etaexp.sig
          public/concept/flags.sig

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use	2008-10-18 10:42:37 UTC (rev 6952)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use	2008-10-18 10:48:13 UTC (rev 6953)
@@ -17,6 +17,7 @@
      "public/concept/bounded.sig",
      "public/concept/cased.sig",
      "public/concept/cstringable.sig",
+     "public/concept/empty.sig",
      "public/concept/equality.sig",
      "public/concept/etaexp.sig",
      "public/concept/flags.sig",

Added: mltonlib/trunk/com/ssh/extended-basis/unstable/public/concept/empty.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/concept/empty.sig	2008-10-18 10:42:37 UTC (rev 6952)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/concept/empty.sig	2008-10-18 10:48:13 UTC (rev 6953)
@@ -0,0 +1,8 @@
+(* Copyright (C) 2008 Vesa Karvonen
+ *
+ * This code is released under the MLton license, a BSD-style license.
+ * See the LICENSE file or http://mlton.org/License for details.
+ *)
+
+(** The empty signature with no specifications. *)
+signature EMPTY = sig end


Property changes on: mltonlib/trunk/com/ssh/extended-basis/unstable/public/concept/empty.sig
___________________________________________________________________
Name: svn:eol-style
   + native

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/common.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/common.sml	2008-10-18 10:42:37 UTC (rev 6952)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/common.sml	2008-10-18 10:48:13 UTC (rev 6953)
@@ -16,6 +16,7 @@
 signature CFUNC = CFUNC
 signature CSTRINGABLE = CSTRINGABLE
 signature CSTRINGABLE_CORE = CSTRINGABLE_CORE
+signature EMPTY = EMPTY
 signature EQUALITY = EQUALITY
 signature EQUALITY_CORE = EQUALITY_CORE
 signature ETAEXP' = ETAEXP'