26 Jun
2011
26 Jun
'11
4:15 p.m.
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.