On Thu, Oct 7, 2010 at 1:44 PM, Luke Palmer <lrpal...@gmail.com> wrote: > The section works because "(a %^&)" (for some operator %^&) is short > for "(%^&) a" and "(%^& a)" is short for "flip (%^&) a". Sections > don't expand into lambdas. >
According to the report they do: http://haskell.org/onlinereport/exps.html#sections http://haskell.org/onlinereport/haskell2010/haskellch3.html#x8-300003.5 but GHC is different, I think: http://www.haskell.org/ghc/docs/6.12.2/html/users_guide/syntax-extns.html#postfix-operators I'm not sure if the significance of this difference is explored anywhere, but notice that: ghci> (() `undefined`) `seq` () *** Exception: Prelude.undefined ghci> (`undefined` ()) `seq` () () _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
