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

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