Is it just me or does this bit in the proposal:

  m .lookup key
    .snd
    .reverse

Which translates to this:

 reverse . snd . (\m -> lookup m key) $ m

make no sense and refuse to type check - i.e lookup is producing a
Maybe not a pair for second?

I can see some benefit with TDNR for record selection as per Neil
Brown's message, but I have serious doubts about the syntax and find
most of the examples in proposal determinedly non-compelling.
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to