StricterLabelledFieldSyntax

[Ian Lynagh]

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})

http://hackage.haskell.org/trac/haskell-prime/ticket/132
http://hackage.haskell.org/trac/haskell-prime/wiki/StricterLabelledFieldSyntax


Thanks
Ian