StricterLabelledFieldSyntax

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/StricterLabelledFieldSynt... Thanks Ian