[MLton] Bug in parseAndElaborate: unhandled exception: Subscript
Stephen Weeks
MLton@mlton.org
Sun, 11 Sep 2005 09:22:29 -0700
> The latest MLton built from SVN sources has a bug in the parseAndElaborate
> pass.
...
> signature X =
> sig
> type x = unit
> end
>
> structure X :> X =
> struct
> type 'a x = unit
> end
...
> unhandled exception: Subscript
Thanks. Bug fixed. MLton now reports (as it used to)
Error: z.sml 6.16.
Type x has arity 1 in structure but arity 0 in signature.
This problem points to our severe need to integrate error cases into
our regressions. I think the front end has stabilized to the point
where it wouldn't be too much noise to find out every time that error
messages change. Any takers? There's already a fair number of tests
in regression/fail. The main thing is to do any necessary cleanup,
add the ".ok" files, and add some lines to the bin/regression script.