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