John Meacham wrote:
On Thu, Mar 02, 2006 at 03:53:45AM -0000, Claus Reinke wrote:
the problem is that we have somehow conjured up an infinite
type for Mul to recurse on without end! Normally, such infinite
types are ruled out by occurs-checks (unless you are working
with Prolog III;-), so someone forgot to do that here. why?
where? how?

Polymorphic recursion allows the construction of infinite types if I
understand what you mean.

No, that's different. An infinite type can't be written in (legal) Haskell. It's something like

    type T = [T]

-- Ben

_______________________________________________
Haskell-prime mailing list
Haskell-prime@haskell.org
http://haskell.org/mailman/listinfo/haskell-prime

Reply via email to