> If this is the case, then multiple sentences in the 2010 report don't > make sense, though the way in which they don't make sense sort of > depends on what "simple pattern binding" means.
Indeed, the Report has two problems: Sections 4.4.3.2 and 4.5.5 have different definitions of "simple pattern". This has been there since section 4.5.5 (Monomorphism Restriction) was added in Haskell 1.1. But then the only technical use of the term is in section 4.5.5. When the definition of declaration group (section 4.5.1) was changed in Haskell 2010 to break dependencies on type signatures, Rule 1 of the Monomorphism Restriction (section 4.5.5), while not incorrect, became partially redundant and overly complex. It could have been simplified along the lines you describe. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe