3 Jan
2006
3 Jan
'06
12:23 a.m.
In article <20060102134354.GA15796@abridgegame.org>, David Roundy <droundy@abridgegame.org> 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