[MLton] the next public release

Stephen Weeks MLton@mlton.org
Mon, 2 Aug 2004 16:08:54 -0700


> Maybe by analogy with target-map, we should provide
>   $lib/path-map
> and optionally support
>   .mlton/path-map

Sounds good.  (There might be a better name than path-map, like
mlb-path-map).