[nhc-bugs] Type error type clash between Prelude.SR and Prelude.R

[Malcolm Wallace]

> Not sure if this is related to my previous mail about negate, but that
> got in the way when I was trying to work out what was going on.

It is not directly related, because the fragment you posted includes
(-) both in a pattern in an expression.

> I can put the whole file somewhere if you need it.

Yes please.  I think this is probably an oversight in how we handle
numeric literal patterns in the internal src-to-src transformation
for tracing.

Regards,
    Malcolm