On 10 November 2010 10:56, Ozgur Akgun <[email protected]> wrote: > 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
_______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
