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

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@darcs.net> wrote:

>
> New submission from Juliusz Chroboczek <jch@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@darcs.net>
> <http://bugs.darcs.net/issue810>
> __________________________________
> _______________________________________________
> darcs-devel mailing list
> darcs-devel@darcs.net
> http://lists.osuosl.org/mailman/listinfo/darcs-devel
>

Attachments

• unnamed

This seems to be fixed in 2.0.0 + 106 patches