[MLton-commit] r4792

Vesa Karvonen vesak at mlton.org
Sun Oct 29 09:51:41 PST 2006


Removed the extra top-level type bindings.
----------------------------------------------------------------------

U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/emb.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/iso.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/public/emb.sig
U   mltonlib/trunk/com/ssh/extended-basis/unstable/public/iso.sig

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

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/emb.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/emb.sml	2006-10-29 16:20:12 UTC (rev 4791)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/emb.sml	2006-10-29 17:51:40 UTC (rev 4792)
@@ -8,7 +8,7 @@
  * Structure for embeddings.
  *)
 structure Emb :> EMB = struct
-   type ('a, 'b) emb = ('a, 'b) emb
+   type ('a, 'b) emb = ('a -> 'b) * ('b -> 'a option)
 
    val id = (fn a => a, SOME)
 

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/iso.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/iso.sml	2006-10-29 16:20:12 UTC (rev 4791)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/iso.sml	2006-10-29 17:51:40 UTC (rev 4792)
@@ -8,7 +8,7 @@
  * Structure for isomorphisms.
  *)
 structure Iso :> ISO = struct
-   type ('a, 'b) iso = ('a, 'b) iso
+   type ('a, 'b) iso = ('a -> 'b) * ('b -> 'a)
 
    val id = (fn a => a, fn a => a)
 

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/emb.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/emb.sig	2006-10-29 16:20:12 UTC (rev 4791)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/emb.sig	2006-10-29 17:51:40 UTC (rev 4792)
@@ -4,16 +4,14 @@
  * See the file MLton-LICENSE for details.
  *)
 
-type ('a, 'b) emb = ('a -> 'b) * ('b -> 'a option)
 (**
- * Embedding of {'a} into {'b} with injection and projection functions.
- *)
-
-(**
  * Signature for the {Emb} structure for embeddings.
  *)
 signature EMB = sig
-   type ('a, 'b) emb = ('a, 'b) emb
+   type ('a, 'b) emb = ('a -> 'b) * ('b -> 'a option)
+   (**
+    * Embedding of {'a} into {'b} with injection and projection functions.
+    *)
 
    val id : ('a, 'a) emb
    (**

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/iso.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/iso.sig	2006-10-29 16:20:12 UTC (rev 4791)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/iso.sig	2006-10-29 17:51:40 UTC (rev 4792)
@@ -4,17 +4,15 @@
  * See the file MLton-LICENSE for details.
  *)
 
-type ('a, 'b) iso = ('a -> 'b) * ('b -> 'a)
 (**
- * Isomorphism between {'a} and {'b} with injection and projection
- * functions.
- *)
-
-(**
  * Signature for the {Iso} structure for isomorphisms.
  *)
 signature ISO = sig
-   type ('a, 'b) iso = ('a, 'b) iso
+   type ('a, 'b) iso = ('a -> 'b) * ('b -> 'a)
+   (**
+    * Isomorphism between {'a} and {'b} with injection and projection
+    * functions.
+    *)
 
    val id : ('a, 'a) iso
    (**




More information about the MLton-commit mailing list