[Haskell-cafe] Template Haskell question

Tom Ellis tom-lists-haskell-cafe-2017 at jaguarpaw.co.uk
Tue Apr 27 14:28:45 UTC 2021


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


More information about the Haskell-Cafe mailing list