I'm interested in situations where you think fundeps work
and type families don't. Reason: no one knows how to make
fundeps work cleanly with local type constraints (such as GADTs).
If you think you have such as case, do send me a test case.
Do you have a wiki page somewhere collecting these examples?
I seem to recall that similar discussions have arisen before and
test cases have been provided but I wouldn't know where to
check for the currently recorded state of differences.
Also, what is the difference between fundeps and type families
wrt local type constraints? I had always assumed them to be
equivalent, if fully implemented. Similar to logic vs functional
programming, where Haskellers tend to find the latter more
convenient. Functional logic programming shows that there
are some tricks missing if one just drops the logic part.
Claus
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe