[Haskell-cafe] What is a "simple pattern binding"?

Paterson, Ross 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 mailing list