[MLton-commit] r6368

[Vesa Karvonen]

Added REP signature for specifying the rep of generics in client modules.

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

U   mltonlib/trunk/com/ssh/generic/unstable/detail/ml/smlnj/sigs.cm
U   mltonlib/trunk/com/ssh/generic/unstable/lib.mlb
U   mltonlib/trunk/com/ssh/generic/unstable/lib.use
U   mltonlib/trunk/com/ssh/generic/unstable/public/export.sml
A   mltonlib/trunk/com/ssh/generic/unstable/public/framework/rep.sig

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

Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/ml/smlnj/sigs.cm
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/ml/smlnj/sigs.cm	2008-01-31 16:49:28 UTC (rev 6367)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/ml/smlnj/sigs.cm	2008-01-31 22:28:01 UTC (rev 6368)
@@ -20,6 +20,7 @@
    ../../../public/framework/layered-rep.sig
    ../../../public/framework/open-cases.sig
    ../../../public/framework/open-rep.sig
+   ../../../public/framework/rep.sig
    ../../../public/framework/ty.sig
    ../../../public/util/generics-util.sig
    ../../../public/value/arbitrary.sig

Modified: mltonlib/trunk/com/ssh/generic/unstable/lib.mlb
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/lib.mlb	2008-01-31 16:49:28 UTC (rev 6367)
+++ mltonlib/trunk/com/ssh/generic/unstable/lib.mlb	2008-01-31 22:28:01 UTC (rev 6368)
@@ -39,6 +39,7 @@
          public/framework/open-rep.sig
          public/framework/open-cases.sig
          public/framework/cases.sig
+         public/framework/rep.sig
          public/framework/generic.sig
 
          (* Utilities *)

Modified: mltonlib/trunk/com/ssh/generic/unstable/lib.use
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/lib.use	2008-01-31 16:49:28 UTC (rev 6367)
+++ mltonlib/trunk/com/ssh/generic/unstable/lib.use	2008-01-31 22:28:01 UTC (rev 6368)
@@ -21,6 +21,7 @@
      "public/framework/open-rep.sig",
      "public/framework/open-cases.sig",
      "public/framework/cases.sig",
+     "public/framework/rep.sig",
      "public/framework/generic.sig",
      "public/util/generics-util.sig",
      "detail/util/generics-util.sml",

Modified: mltonlib/trunk/com/ssh/generic/unstable/public/export.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/export.sml	2008-01-31 16:49:28 UTC (rev 6367)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/export.sml	2008-01-31 22:28:01 UTC (rev 6368)
@@ -13,6 +13,7 @@
 signature OPEN_REP = OPEN_REP
 
 signature CASES = CASES
+signature REP = REP
 
 signature LAYERED_REP = LAYERED_REP
 

Added: mltonlib/trunk/com/ssh/generic/unstable/public/framework/rep.sig
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/framework/rep.sig	2008-01-31 16:49:28 UTC (rev 6367)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/framework/rep.sig	2008-01-31 22:28:01 UTC (rev 6368)
@@ -0,0 +1,14 @@
+(* 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.
+ *)
+
+(**
+ * A signature for the "rep" of generics.
+ *)
+signature REP = sig
+   structure Open : sig
+      structure Rep : OPEN_REP
+   end
+end


Property changes on: mltonlib/trunk/com/ssh/generic/unstable/public/framework/rep.sig
___________________________________________________________________
Name: svn:eol-style
   + native