StricterLabelledFieldSyntax

Ian Lynagh igloo at earth.li
Sat Jul 25 21:34:59 EDT 2009


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



More information about the Haskell-prime mailing list