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

Paterson, Ross 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
> type-signatures.

True.  That ambiguity could be avoided by adding the word "declaration"
after "type signature".

More information about the Haskell-Cafe mailing list