[MLton] Basis Library and PackLargeReal{Big,Little} structures

Matthew Fluet fluet at tti-c.org
Mon Nov 19 19:16:16 PST 2007


On Thu, 1 Nov 2007, Vesa Karvonen wrote:
> The Basis library spec does not seem to support having structures
> named PackLargeReal{Big,Little}:
>
>  http://www.standardml.org/Basis/pack-float.html
>
> I think that this is either an oversight or just a totally unnecessary
> restriction and I'd like to make these structures visible in MLton's
> "default" Basis library implementation.
>
> Note that MLton already implements them
>
>  http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/basis-library/real/pack-real.sml?rev=5892&view=auto
>
> but they do not seem to be exported from the basis by default.
>
> Any objections?

My only real objection is that including items not in the spec makes it 
harder to program to a compatible specification.  Admittedly, we break the 
spec w/ the StreamIO functor, so maybe it isn't that big a deal to include 
additional PackReal structures.



More information about the MLton mailing list