On 10/10/06, Nicolas Frisby <[EMAIL PROTECTED]> wrote:
> data Fin
> data Inf

> data List l a = Cons a (List l a) | Nil

It's possible to make both "infinite list" and "finite list" datatypes:

data Inf a = InfCons a (Inf a)
data Fin a = FinCons a !(Fin a) | FinNil

At least, I think the Fin type there has to be finite...
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to