27 Apr
2021
27 Apr
'21
10:28 a.m.
On Tue, Apr 27, 2021 at 04:06:27PM +0200, Kai-Oliver Prott wrote:
Moreover, it seems odd that the "x" on the right side always refers to the rightmost pattern variable "x" (regardless if quoted or not).
I guess this comes from the translation f x x = <rhs> -> f = \x -> \x -> <rhs> I'm not familiar enough with TH to say whether one should expect a warning though. Tom