[MLton-commit] r6402

[Matthew Fluet]

Use sharing constraints rather than where constraints
----------------------------------------------------------------------

U   mlton/trunk/mlton/ast/ast-core.sig
U   mlton/trunk/mlton/core-ml/core-ml.sig

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

Modified: mlton/trunk/mlton/ast/ast-core.sig
===================================================================
--- mlton/trunk/mlton/ast/ast-core.sig	2008-02-14 05:08:02 UTC (rev 6401)
+++ mlton/trunk/mlton/ast/ast-core.sig	2008-02-14 16:15:52 UTC (rev 6402)
@@ -173,10 +173,10 @@
          sig
             type t
             datatype node = T of (Pat.t * Exp.t) vector
-            include WRAPPED
-            sharing type node' = node
-            sharing type obj = t
-         end where type t = Exp.match
+            include WRAPPED sharing type node' = node
+                            sharing type obj = t
+         end 
+      sharing type Exp.match  = Match.t
 
       structure EbRhs:
          sig

Modified: mlton/trunk/mlton/core-ml/core-ml.sig
===================================================================
--- mlton/trunk/mlton/core-ml/core-ml.sig	2008-02-14 05:08:02 UTC (rev 6401)
+++ mlton/trunk/mlton/core-ml/core-ml.sig	2008-02-14 16:15:52 UTC (rev 6402)
@@ -175,7 +175,7 @@
 
             val layout: t -> Layout.t
          end
-      where type t = Exp.dec
+      sharing type Exp.dec = Dec.t
 
       structure Program:
          sig