[MLton] Re: [MLton-commit] r6746

[Ville Laurikari]

Just curious, why should sharing constraints be preferred over where
constraints?  Is it simply an issue of style/consistency or am I
missing something?

On Tue, Aug 19, 2008 at 03:13:52PM -0700, Matthew Fluet wrote:
> 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
>
>
> _______________________________________________
> MLton-commit mailing list
> MLton-commit at mlton.org
> http://mlton.org/mailman/listinfo/mlton-commit
>

--
http://www.iki.fi/vl/