[darcs-devel] current build failure: P is applied to too many type arguments

[David Roundy]

On Thu, Jan 10, 2008 at 10:44:08PM -0500, Mark Stosberg wrote:
> 
> After just trying to pull the lasted patches and "make" on Ubuntu Gutsy
> with GHC 6.6.1, I get this result:
> 
> src/Darcs/Patch/Patchy.lhs:87:14:
>        Kind error: `p' is applied to too many type arguments
>            In the type `p x y'
>                In the type `p x y -> p y x'
>                    In the class declaration for `Invert'

That's very odd.  You didn't configure with --with-type-witnesses, did you?
Can you still reproduce this? And what does line 87 look like in your
version of Patchy.lhs? And for good measure, could you send the CPPFLAGS
value from your autoconf.mk?

Thanks for the report! (and for all the bug triage!!!)
-- 
David Roundy
Department of Physics
Oregon State University