[MLton] Two questions about FFI types

Matthew Fluet fluet@cs.cornell.edu
Tue, 10 May 2005 21:18:26 -0400 (EDT)


> FYI, -default-ann doesn't accept 'allowPrim true', even if expert is 
> turned on. I had to make an mlb file. Is that a bug, or is there some 
> other magic to use secret annotations on the command line?

It isn't a bug, in as much as I specifically made a few annotations 
inaccessible from the commandline.  This could be changed, but I felt that 
as undocumented features, the barrier to using them could be higher, since 
they should only be used in the Basis Library implementation.

> 
>   - Tom
> 
> > To do this, you must compile the file that uses _prim with the
> > annotation "allowPrim true", using either the MLB "ann" syntax or
> > -default-ann from the command line.
> >
> >
> >
> 
> 
> [ NEW! : http://tom7.org/       ]
> [ OLD! : http://fonts.tom7.com/ ]
> 
> _______________________________________________
> MLton mailing list
> MLton@mlton.org
> http://mlton.org/mailman/listinfo/mlton
>