[Haskell-cafe] translating from fundeps into type families

Ganesh Sittampalam ganesh at earth.li
Mon Apr 7 16:29:21 EDT 2008


Can I have some advice on translating the attached Test1.hs into type 
families? My attempt at doing so is in Test1a.hs, but firstly it requires 
FlexibleInstances where Test1.hs didn't, and secondly it fails because it 
can't infer the instance for Bar (Either Int Int) whereas the fundeps 
version had no problems there.

(And yes, this is another cut down example of something I really want to 
do :-)


-------------- next part --------------
A non-text attachment was scrubbed...
Name: Test1.hs
Type: text/x-haskell
Size: 571 bytes
Url : http://www.haskell.org/pipermail/haskell-cafe/attachments/20080407/86359e51/Test1.bin
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Test1a.hs
Type: text/x-haskell
Size: 482 bytes
Url : http://www.haskell.org/pipermail/haskell-cafe/attachments/20080407/86359e51/Test1a.bin

More information about the Haskell-Cafe mailing list