Proposals and owners

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


Hi

>>  > remove FixityResolution from the context-free grammar
>
> http://hackage.haskell.org/trac/haskell-prime/wiki/FixityResolution
>
> 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