Re: n+k patterns

[Lennart Augustsson]

> Both (>=) and (-) belong to classes defined in PreludeCore,
> and hence cannot be rebound.  This was a deliberate decision,
> made in order to turn your point into a non-problem.
It's true that things from PreludeCore cannot be rebound on the top level,
but they can be rebound locally.  So the problem I state does occur.
OK, I think that (>=), (-), etc. should refer to those from PreludeCore,
but it doesn't say anywhere.
Another question along the same lines: What if (+) has been rebound?
Are n+k patterns still allowed?

        -- Lennart