On Mon, Jan 02, 2006 at 04:23:32PM -0800, Ashley Yakeley 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}
I'm not sure I understand the problem. Why would there be any difficulty
with this?
--
David Roundy
http://www.darcs.net
_______________________________________________
Haskell mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell
