[MLton-commit] r4955

Vesa Karvonen vesak at mlton.org
Sun Dec 10 11:16:07 PST 2006


Reorganized public files.
----------------------------------------------------------------------

D   mltonlib/trunk/com/ssh/extended-basis/unstable/public/product.sig

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

Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/public/product.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/product.sig	2006-12-10 19:15:55 UTC (rev 4954)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/product.sig	2006-12-10 19:16:04 UTC (rev 4955)
@@ -1,18 +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.
- *)
-
-(**
- * A general purpose product datatype.
- *
- * A product datatype is useful for reducing the inconvenience of matching
- * nested products in combinator libraries (e.g. parser combinators).
- *)
-signature PRODUCT = sig
-   datatype ('a, 'b) product = & of 'a * 'b
-
-   include PRODUCT_TYPE
-      where type ('a, 'b) t = ('a, 'b) product
-end




More information about the MLton-commit mailing list