(a `op`) is \x -> a `op` x

Question

ksqsf opened this issue 4 years ago · 2 comments

Code from here seems to give expected results in both GHC 9.0.1 and GHC 8.10.4.

ghci> let op = undefined
|
ghci> (`op` ()) `seq` ()
()
ghci>

Answer 1 · 2021-06-08T09:03:02.000Z

Interesting, has the behavior changed? I’m scared to look through tons of changelogs to find the reason…

Answer 2 · 2021-06-08T10:48:19.000Z

Looks indeed like GHC fixed this reproducibly. Removed the section in a81fbe7. Thanks for the report!