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

On 9/23/06, Bernie Pope 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