Re: release plans

> We've been working on various fairly significant revisions, including a
> partial re-engineering (reverse-engineering! :-)) of FLINT to remove the
> excessive cost of runtime type passing.  We're just about to build  
> 110.63.1
> for local testing, and this includes the first significant changes in  
> FLINT
> for a long time.  110.64 will be announced shortly after.

The handling of overloading in presence of transparent type definitions 
has changed in 110.63.1.

Consider the following:

(*****)
type 'a elt = 'a
val choose : ('a elt * 'a elt -> bool) -> 'a -> 'a -> bool =
    fn (op <) => fn x => fn y => x < y
val lt = choose (op <)
(*****)

Under 110.63, I get no warnings or errors.

Under 110.63.1, I get:
z.sml:4.5-4.23: Warning: type vars not generalized because of
    value restriction are instantiated to dummy types (X1,X2,...)
z.sml:4.18-4.22 Error: overloaded variable not defined at type
   symbol: <
   type: ?.X1 elt


-------------------------------------------------------------------------
This SF.net email is sponsored by DB2 Express
Download DB2 Express C - the FREE version of DB2 express and take
control of your XML. No limits. Just data. Click to get it now.
http://sourceforge.net/powerbar/db2/