3 Jan
2006
3 Jan
'06
1:44 p.m.
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