Proposals and owners

Simon Marlow marlowsd at gmail.com
Fri Jul 31 10:20:02 EDT 2009


On 31/07/2009 14:51, Neil Mitchell wrote:
> 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.

I updated the code on the wiki page: the previous version didn't handle 
prefix negation - did you implement that yourself in HLint?

Cheers,
	Simon


More information about the Haskell-prime mailing list