StricterLabelledFieldSyntax

[Ian Lynagh]

On Sat, Jul 25, 2009 at 09:45:18PM -0400, Isaac Dupree wrote:
> Ian Lynagh wrote:
>> Hi all,
>>
>> I've made a ticket and proposal page for making the labelled field
>> syntax stricter, e.g. making this illegal:
>>
>>     data A = A {x :: Int}
>>
>>     y :: Maybe A
>>     y = Just A {x = 5}
>>
>> and requiring this instead:
>>
>>     data A = A {x :: Int}
>>
>>     y :: Maybe A
>>     y = Just (A {x = 5})
>
> and, as currently, "(f some expression) {x=5}" still requires those  
> parentheses also?  Although depending on the surroundings, after this  
> proposal, it might need to become "((f some expression) {x=5})"

Yes, exactly. I've added this to the wiki page:

    No additional programs are accepted by this change, and no programs
    have their behaviour changed. This change only rejects some programs
    that were previously accepted.


Thanks
Ian