[darcs-devel] [issue837] darcs-2.0.0 build failure with ghc-6.8.2 on OS X 10.5.2
Nicolas Pouillard
nicolas.pouillard at gmail.com
Mon May 5 18:19:30 UTC 2008
It's another bug in the configure script, where enabling some options cause
type-witnesses to be enabled. Although I don't know enough of autoconf to
understand (solve) this issue.
Excerpts from Darcs Bugs's message of Mon May 05 15:58:19 UTC 2008:
>
> New submission from Gregory Wright <gwright at antiope.com>:
>
> [originally posted to darcs-users; reposted to the bugs list.]
>
> Hi,
>
> I've experienced an odd build failure of darcs-2.0.0 on OS X (10.5.2)
> with
> ghc 6.8.2. The hardware is a MacBook Pro (2.6 GHz Intel, 4 GB RAM).
>
> Running
>
> $ ./configure
> $ make
>
> gives a successful build. But
>
> $ ./configure --with-docs
> $ make
>
> fails with
>
> [ghc] src/Darcs/Patch/Read.o
> [ghc] src/Darcs/Patch/Non.o
> [ghc] src/Darcs/Patch/Real.o
>
> src/Darcs/Patch/Real.lhs:100:26:
> GADT pattern match in non-rigid context for `NilRL'
> Tell GHC HQ if you'd like this to unify the context
> In the pattern: NilRL
> In the pattern: Just NilRL
> In a case alternative:
> Just NilRL
> -> ((\ imp_funny_name
> -> imp_funny_name
> ("src/Darcs/Patch/Real.lhs", 100, "15:47:58",
> "Apr 30 2008"))
> _bug)
> "found no patches in mergeUnravelled"
>
> src/Darcs/Patch/Real.lhs:116:27:
> GADT pattern match in non-rigid context for `NilFL'
> Tell GHC HQ if you'd like this to unify the context
> In the pattern: NilFL
> In a case alternative: NilFL -> Just p
> In the expression:
> case sort_coalesceFL $ effect p of
> NilFL -> Just p
> _ -> Nothing
>
> src/Darcs/Patch/Real.lhs:135:32:
> GADT pattern match in non-rigid context for `NilFL'
> Tell GHC HQ if you'd like this to unify the context
> In the pattern: NilFL
> In a case alternative: NilFL -> Just (NilFL, mapFL_FL Normal xs)
> In the expression:
> case sort_coalesceFL $ effect goneby of
> NilFL -> Just (NilFL, mapFL_FL Normal xs)
> _z -> Nothing
>
> src/Darcs/Patch/Real.lhs:257:26:
> GADT pattern match in non-rigid context for `NilRL'
> Tell GHC HQ if you'd like this to unify the context
> In the pattern: NilRL
> In a case alternative: NilRL -> []
> In the expression:
> case reverseFL $ xx2patches ix xx of
> NilRL -> []
> Normal q :<: qs -> [Non (reverseRL qs) q]
> _ -> []
>
> src/Darcs/Patch/Real.lhs:371:82:
> deps not in scope because it has a wobbly type (solution: add a
> type annotation)
> In the first argument of `reverseRL', namely `deps'
> In the first argument of `Non', namely `(reverseRL deps)'
> In the expression: Non (reverseRL deps) pp
>
> src/Darcs/Patch/Real.lhs:428:50:
> GADT pattern match in non-rigid context for `NilFL'
> Tell GHC HQ if you'd like this to unify the context
> In the pattern: NilFL
> In a pattern guard for
> a case alternative:
> NilFL <- sort_coalesceFL $ effect c
> In a case alternative:
> ([], NilFL, Non c y)
> | NilFL <- sort_coalesceFL $ effect c
> -> Just (Normal y :> Conflictor a1'nop2 (y :>: NilFL) p2)
> make: *** [src/Darcs/Patch/Real.o] Error 1
>
> However, if I disable type witnesses, everything is fine. So
>
> $ ./configure --with-docs --without-type-witnesses
> $ make
>
> succeeds.
>
> I can understand that type witnesses are new enough to possibly cause
> problems on some platforms, but I'm baffled by the interaction with "--
> with-docs".
> Shouldn't "--with-docs" just cause the documentation to be built, and
> not change any other build settings?
>
> Best Wishes,
> Greg
>
--
Nicolas Pouillard aka Ertai
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 194 bytes
Desc: not available
Url : http://lists.osuosl.org/pipermail/darcs-devel/attachments/20080505/1da2e095/attachment.pgp
More information about the darcs-devel
mailing list