[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

duplicate of issue836
(sorry, gwright; our bug submissions system has this nasty habit of duplicating
incoming bugs)

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@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
>

Hi Nicholas,

My main goal is to make darcs-2.0.0 available through MacPorts, so I  
can work
around the problem for the moment by explicitly disabling type  
witnesses.

I'll have a look at the configure script and see what I can do to fix  
it.  I was concerned
that something more might be going on.  The combination of Leopard and  
ghc-6.8.2
have had many little problems.

Best,
Greg

On May 5, 2008, at 2:10 PM, Nicolas Pouillard wrote:

>
> Nicolas Pouillard <nicolas.pouillard@gmail.com> added the comment:
>
> 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@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
>>
>
> ----------
> nosy: +darcs-devel, ertai
> status: resolved -> chatting
>
> __________________________________
> Darcs bug tracker <bugs@darcs.net>
> <http://bugs.darcs.net/issue837>
> __________________________________
>
>

Great!

> so I  
> can work
> around the problem for the moment by explicitly disabling type  
> witnesses.
> 
> I'll have a look at the configure script and see what I can do to fix  
> it.  I was concerned
> that something more might be going on.  The combination of Leopard and  
> ghc-6.8.2
> have had many little problems.

I'm using this setup (OS X 10.5.2, GHC 6.8.2) without any issue.
(using libcurl 7.18.0 to have pipelining).

> On May 5, 2008, at 2:10 PM, Nicolas Pouillard wrote:
> 
> >
> > Nicolas Pouillard <nicolas.pouillard@gmail.com> added the comment:
> >
> > 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@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
> >>
> >
> > ----------
> > nosy: +darcs-devel, ertai
> > status: resolved -> chatting
> >
> > __________________________________
> > Darcs bug tracker <bugs@darcs.net>
> > <http://bugs.darcs.net/issue837>
> > __________________________________
> >
> >