[MLton-commit] r6746

[Matthew Fluet]

Use sharing constraint rather than where type constraint
----------------------------------------------------------------------

U   mlton/trunk/mlton/atoms/con-.sig

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

Modified: mlton/trunk/mlton/atoms/con-.sig
===================================================================
--- mlton/trunk/mlton/atoms/con-.sig	2008-08-19 22:13:46 UTC (rev 6745)
+++ mlton/trunk/mlton/atoms/con-.sig	2008-08-19 22:13:52 UTC (rev 6746)
@@ -1,4 +1,4 @@
-(* Copyright (C) 1999-2005 Henry Cejtin, Matthew Fluet, Suresh
+(* Copyright (C) 1999-2005, 2008 Henry Cejtin, Matthew Fluet, Suresh
  *    Jagannathan, and Stephen Weeks.
  * Copyright (C) 1997-2000 NEC Research Institute.
  *
@@ -13,7 +13,8 @@
 signature CON = 
    sig
       include ID
-      include PRIM_CONS where type con = t
+      include PRIM_CONS
+      sharing type t = con
 
       val fromBool: bool -> t
       val stats: unit -> Layout.t