[Haskell-cafe] Re: [Haskell] MR details (was: Implicit type of
viritrilbia at gmail.com
Sat Sep 23 11:46:47 EDT 2006
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.
More information about the Haskell-Cafe