[Haskell-cafe] What is a "simple pattern binding"?
R.Paterson at city.ac.uk
Sun Jun 26 22:15:06 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
> > 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.
More information about the Haskell-Cafe