[darcs-devel] [issue810] Static compilation -- another failure

Jason Dagit dagit at codersbase.com
Tue Apr 22 18:13:02 UTC 2008


It looks like somehow --with-type-witness was enabled.  I think Gwern
recently fixed this in at least one case.

Try:
./configure --with-static-libs --without-libcurl --without-type-witnesses

Jason

On Tue, Apr 22, 2008 at 10:09 AM, Juliusz Chroboczek <bugs at darcs.net> wrote:

>
> New submission from Juliusz Chroboczek <jch at pps.jussieu.fr>:
>
> Still trying to compile a static Darcs 2.  This time, I tried
>
>  ./configure --with-static-libs --without-libcurl
>
> and I got
>
>  src/Darcs/Resolution.lhs:216:48:
>      `PatchSet p' is not applied to enough type arguments
>      Expected kind `??', but `PatchSet p' has kind `* -> *'
>      In the type `PatchSet p -> Sealed (FL Prim)'
>      In the type `(RepoPatch p) => PatchSet p -> Sealed (FL Prim)'
>      In the type signature for `patchset_conflict_resolutions':
>        patchset_conflict_resolutions :: (RepoPatch p) =>
>                                         PatchSet p -> Sealed (FL Prim)
>  make: *** [src/Darcs/Resolution.o] Error 1
>
>                                        Juliusz
>
> ----------
> messages: 4296
> nosy: beschmi, jch, kowey, tommy
> status: unread
> title: Static compilation -- another failure
>
> __________________________________
> Darcs bug tracker <bugs at darcs.net>
> <http://bugs.darcs.net/issue810>
> __________________________________
> _______________________________________________
> darcs-devel mailing list
> darcs-devel at darcs.net
> http://lists.osuosl.org/mailman/listinfo/darcs-devel
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.osuosl.org/pipermail/darcs-devel/attachments/20080422/a72aa3fa/attachment.htm 


More information about the darcs-devel mailing list