Eta-expansion of a left-section
If I say
x = seq (True `undefined`) ()
what should I get when evaluating
According to my understanding of the Haskell Report, I should get
(). And according to my understanding of GHC's source code (in
GHC.Tc.Gen.Expr), I should get
(). But I get an exception.
-XPostfixOperators is off. If it were on, the exception would be expected.