In article <[EMAIL PROTECTED]>,
 David Roundy <[EMAIL PROTECTED]> wrote:

> One open question (in my mind) would be whether we'd allow
> 
> data Foo = FooInt { foo :: Int } | FooChar { foo :: Char }
> 
> In the "new" system, there's no reason this need be illegal.

How would this behave?

  data Foo a b = FooA {foo :: a} | FooB {foo :: b}

-- 
Ashley Yakeley, Seattle WA

_______________________________________________
Haskell mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell

Reply via email to