[Haskell-cafe] What is a "simple pattern binding"?
R.Paterson at city.ac.uk
Sun Jun 26 02:41:01 CEST 2011
> I thought "no type signature" meant no type signature inside b1.
No, it means no type signature for the variable.
> Otherwise, you are saying nothing could depend on a binding with a
> type signature. By that logic, there can be no mutual dependence,
> and so every declaration with a type signature is its own (singleton)
> declaration group.
A pattern binding can bind more than one variable. If all the variables
bound by a binding have type signatures, that binding is indeed a
singleton declaration group.
More information about the Haskell-Cafe