[MLton-commit] r6952

[Vesa Karvonen]

Added T'1 and T'2 signatures for convenience.

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

U   mltonlib/trunk/com/ssh/extended-basis/unstable/public/concept/t.sig
U   mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/common.sml

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

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/concept/t.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/concept/t.sig	2008-10-17 23:54:28 UTC (rev 6951)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/concept/t.sig	2008-10-18 10:42:37 UTC (rev 6952)
@@ -1,12 +1,15 @@
 (* Copyright (C) 2007 SSH Communications Security, Helsinki, Finland
+ * 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.
  *)
 
-(**
- * Signature specifying an abstract non-parameterized type {t}.
- *)
-signature T = sig
-   type t
-end
+(** Signature specifying an abstract non-parameterized type {t}. *)
+signature T = sig type t end
+
+(** Signature specifying an abstract type {t} with 1 type parameter. *)
+signature T'1 = sig type 'a t end
+
+(** Signature specifying an abstract type {t} with 2 type parameters. *)
+signature T'2 = sig type ('a, 'b) t end

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-17 23:54:28 UTC (rev 6951)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/common.sml	2008-10-18 10:42:37 UTC (rev 6952)
@@ -1,4 +1,5 @@
 (* Copyright (C) 2006-2007 SSH Communications Security, Helsinki, Finland
+ * 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.
@@ -50,6 +51,8 @@
 signature STRINGABLE = STRINGABLE
 signature STRINGABLE_CORE = STRINGABLE_CORE
 signature T = T
+signature T'1 = T'1
+signature T'2 = T'2
 signature WORDABLE = WORDABLE
 signature WORDABLE_X = WORDABLE_X