[Haskell-cafe] Re: [Haskell] MR details (was: Implicit type of numeric constants)

[Michael Shulman]

On 9/23/06, Bernie Pope <bjpop at csse.unimelb.edu.au> wrote:
> If a pattern binding is not simple, it must have a data constructor
> on the lhs, therefore it cannot be overloaded. So the (dreaded) MR only
> applies to simple pattern bindings.

I thought it was simple pattern bindings that could be *exempted* from
the MR by supplying an explicit type signature, while non-simple
pattern bindings are always subject to it.

Mike