[MLton] Bug report

Neophytos Michael nmichael@yahoo.com
Sat, 4 Sep 2004 05:55:10 -0700 (PDT)


Thanks.  I'll upgrade when you release the stable release.

Neophytos

--- Matthew Fluet <fluet@cs.cornell.edu> wrote:

> 
> > The attached causes the compiler typechecker to through an exception (see
> > below).  I know there is a problem with the program (a value restriction
> issue)
> > but I generally expect a friendlier error message :).  If you need more
> info
> > let me know.
> 
> The bug is already fixed in the latest experimental MLton release (which
> should be followed up by a stable release in a month or so).  The error
> message now directly referes to the inability to generalize type
> variables:
> 
> [fluet@tiger temp 9]% ~/mlton/mlton-20040819/build/bin/mlton s.cm
> Error: queue.sml 1.19:
>    Variable type in structure disagrees with signature.
>    variable: foldl
>    unable to generalize: 'b, 'a
>    signature: (('a * 'b) -> 'b)
>               -> ('b
>                   -> ({back: int ref,
>                        count: int ref,
>                        front: int ref,
>                        v: 'a option array ref}
>                       -> 'b))
> Error: queue.sml 1.19:
>    Variable type in structure disagrees with signature.
>    variable: foldr
>    unable to generalize: 'b, 'a
>    signature: (('a * 'b) -> 'b)
>               -> ('b
>                   -> ({back: int ref,
>                        count: int ref,
>                        front: int ref,
>                        v: 'a option array ref}
>                       -> 'b))
> compilation aborted: parseAndElaborate reported errors
> 
> 



		
_______________________________
Do you Yahoo!?
Win 1 of 4,000 free domain names from Yahoo! Enter now.
http://promotions.yahoo.com/goldrush