10 Nov
2010
10 Nov
'10
5:59 a.m.
On 10 November 2010 10:56, Ozgur Akgun
Using TDNR, it will be possible to write the following code:
data Foo = Foo { name :: String } data Bar = Bar { name :: String }
getName :: Either Foo Bar -> String getName (Left f) = name f getName (Right b) = name b
However, currently you cannot: "Multiple declarations of 'name'"
Oh by the way, TDNR doesn't only work for record names, yet its use for record names is an important motivation. This was just an example. I don't want to cause any confusion while trying simplify things. -- Ozgur Akgun