-
Simon Peyton Jones authored
Consider class C a where op :: forall b. a -> b -> b op = <rhs> Then 'b' should be in scope in <rhs>. I had omitted this case. This patch fixes it.
1dfd7734
Consider class C a where op :: forall b. a -> b -> b op = <rhs> Then 'b' should be in scope in <rhs>. I had omitted this case. This patch fixes it.