alastair at reid-consulting-uk.ltd.uk
Sat Dec 6 14:13:33 EST 2003
> 1. How can I tell from the Haskell 98 Revised Report that [a function
> with an infinite type]
> isn't allowed? The discussions of typing in the Report
> generally defer to the ``standard Hindley-Milner analysis.''
1) The only way to write the recursive type you want
in Haskell is using type synonyms.
2) The section describing type synonyms (4.2.2) explicitly rules it out.
Alastair Reid www.haskell-consulting.com
More information about the Haskell-Cafe