[MLton] extending the cml library
Matthew Fluet
fluet@cs.cornell.edu
Tue, 1 Feb 2005 18:24:32 -0500 (EST)
> > I am extending the cml library in MLton for my research. I would like to
> > use all the mlton libraries in my code, mainly directedgraph. In the
> > core-cml.mlb I added ../../mlton/sources.mlb, but this clearly is not
> > correct because when I do a make libraries it is complaining the file is
> > not found in build/lib/sml/ etc etc.
P.S. Remember that neither the Basis Library nor the MLton Libraries are
thread-safe or CML aware. Be very careful using a DirectedGraph.t value
in two threads, as a DG.t is an imperative data-structure. Property lists
are used extensively in the DirectedGraph module; there are clear race
conditions in updating the property list statistics, but that won't change
their behavior.