[MLton] Re: [MLton-commit] r7034

[Matthew Fluet]

On Sat, 4 Apr 2009, Ville Laurikari wrote:
> Regenerated.  But shouldn't generated files be removed from version
> control?  Why are these here?
>
> ----------------------------------------------------------------------
>
> U   mlton/trunk/basis-library/primitive/basis-ffi.sml
> U   mlton/trunk/runtime/basis-ffi.h
> U   mlton/trunk/runtime/gen/basis-ffi.h
> U   mlton/trunk/runtime/gen/basis-ffi.sml
>
> ----------------------------------------------------------------------

These are platform independent, but require mlton to build the program 
that generates them.  So, it is a little easier for cross-compiling to 
include the generated files.  They change very slowly.