Proposals and owners

Neil Mitchell ndmitchell at
Fri Jul 31 09:51:22 EDT 2009


>>  > remove FixityResolution from the context-free grammar
> Please take a look and comment.  This fixes a nasty bug in the Haskell
> syntax - albeit one that doesn't cause problems in practice, but still.  I
> think the changes make the grammar look nicer, and help compiler
> implementers by providing a sample implementation of fixity resolution.
> We better be sure the sample implementation is correct!  I've tested it
> fairly well, but I wouldn't rule out corner cases being wrong, especially
> with prefix negation.

The code in Resolve.hs has been used by HLint for months, and is the
basis of the resolution used in haskell-src-exts 1.0.0. In that time I
haven't seen any bugs with the fixity resolution.

Thanks, Neil

More information about the Haskell-prime mailing list