On Dec 19, 2006, at 10:11 PM, Dan Weston wrote:
instance CommandFunction (Sh st ()) st where
^
I think your first argument (on which the second has a functional
dependence) does not determine the second argument, since it makes
use of st in the first
Hi,
I don't have a solution for you problem (besides using undecidable
instances) but I can explain the coverage condition.
On 12/19/06, Robert [EMAIL PROTECTED] wrote:
class CommandFunction f st | f - st where
parseCommand :: String - f - CommandParser st
commandSyntax :: f - [Doc]
The
Fellow Haskellers,
I have a package that uses some light typeclass hackery to automaticly
build parsing algorithms based on the type of a function.
I was recently informed that my package doesn't compile on GHC 6.6 due
to the new restrictions on FD resolution; in particular I have instance
instance CommandFunction (Sh st ()) st where
^
I think your first argument (on which the second has a functional
dependence) does not determine the second argument, since it makes use
of st in the first argument. This strikes me as a likely place to begin.
Dan
