[Haskell-cafe] What is a "simple pattern binding"?
R.Paterson at city.ac.uk
Sun Jun 26 18:13:22 CEST 2011
> 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
True. That ambiguity could be avoided by adding the word "declaration"
after "type signature".
More information about the Haskell-Cafe