> > Still, the clause > > > > b1 contains a free identifier that has no type signature and > > is bound by b2 > > > > applies the phrase "has no type signature" to the identifier, not to > > the binding. Such phrasing does not exclude expression > > type-signatures. > > True. That ambiguity could be avoided by adding the word "declaration" > after "type signature".
On second thoughts, this is unnecessary. The Report consistently uses "expression type signature" for the expression and "type signature" for the declaration. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
