Re: Vector.toList

Good to know.  Thanks.

On Tue, Oct 4, 2016 at 2:41 PM, Matthew Fluet <[email protected]>
wrote:

> On Tue, Oct 4, 2016 at 8:33 AM, Thomas Logan <[email protected]>
> wrote:
> > MLton doesn't seem to compile programs using Vector.toList, even though
> it
> > appears to exist in VECTOR_EXTRA
> >
> > Test program:
> > val _ = Vector.toList (Vector.fromList [1,2,3])
> >
> > Error: test.sml 1.9.
> >   Undefined variable Vector.toList.
> > compilation aborted: parseAndElaborate reported errors
> >
> > from version mlton-20130715-1.amd64-darwin.gmp-static.tgz
>
> The VECTOR_EXTRA signature
> (https://github.com/MLton/mlton/blob/master/basis-
> library/arrays-and-vectors/vector.sig#L32)
> is used to ascribe a signature to the Vector structure
> (https://github.com/MLton/mlton/blob/master/basis-
> library/arrays-and-vectors/vector.sml#L9)
> for use within the Basis Library implementation.  It extends the Basis
> Library VECTOR signature (http://sml-family.org/Basis/vector.html)
> with a number of functions that are useful for implementing other
> components of the Basis Library.  Ultimately, the Vector structure as
> seen by user code is constrained to exactly the VECTOR signature
> prescribed by the Basis Library by a later signature match.
>
> The convention of a XYZ_EXTRA signature extending a Basis Library XYZ
> signature is common in MLton's implementation; some of these
> extensions are exported to the user through one of the MLton
> sub-structures (http://mlton.org/MLtonStructure); see
> http://mlton.org/MLtonVector (which corresponds functions in the
> MLton.Vector structure), although Vector.toList is not provided there.
>
> There is a proposal to extend the Basis Library with additional
> sequence operations
> (https://github.com/SMLFamily/BasisLibrary/wiki/2015-003-
> Additional-operations-on-sequences),
> including Vector.toList
> (https://github.com/SMLFamily/BasisLibrary/wiki/2015-003e-Vector).
>
> You can use "(fn v => Vector.foldr (op::) [] v)" to convert a vector to a
> list.
>
> --
> You received this message because you are subscribed to the Google Groups
> "MLton-user" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to [email protected].
>
>
> ------------------------------------------------------------
> ------------------
> Check out the vibrant tech community on one of the world's most
> engaging tech sites, SlashDot.org! http://sdm.link/slashdot
> _______________________________________________
> MLton-user mailing list
> [email protected]; [email protected]
> https://lists.sourceforge.net/lists/listinfo/mlton-user
>

-- 
You received this message because you are subscribed to the Google Groups "MLton-user" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [email protected].

------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most 
engaging tech sites, SlashDot.org! http://sdm.link/slashdot

_______________________________________________
MLton-user mailing list
[email protected]; [email protected]
https://lists.sourceforge.net/lists/listinfo/mlton-user