Re: release plans

Thanks.  We'll look into this and fix it.

Dave

On May 8, 2007, at 10:52 AM, Matthew Fluet wrote:

>> 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/
> _______________________________________________
> Smlnj-list mailing list
> [email protected]
> https://lists.sourceforge.net/lists/listinfo/smlnj-list
>


-------------------------------------------------------------------------
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/