darcs

Issue 2162 another screened failure with ghc 6.12

Title another screened failure with ghc 6.12
Priority Status resolved
Milestone Resolved in 2.8.0
Superseder Nosy List fx
Assigned To
Topics

Created on 2012-03-28.22:45:33 by fx, last changed 2012-04-05.21:20:32 by ganesh.

Messages
msg15408 (view) Author: fx Date: 2012-03-28.22:45:31
With the patch for #2161 applied I get this with ghc 6.12.1 and the
current screened repo:

[106 of 180] Compiling Darcs.Patch.V2.Real ( src/Darcs/Patch/V2/Real.hs, dist/build/Darcs/Patch/V2/Real.o )

src/Darcs/Patch/V2/Real.hs:134:18:
    GADT pattern match in non-rigid context for `Etacilpud'
      Probable solution: add a type signature for `isForward''
    In the pattern: Etacilpud _
    In the definition of `isForward'':
        isForward' (p@(Etacilpud _)) = justRedP "An inverse duplicate" p
    In the definition of `isForward':
        isForward = isForward'
                  where
                      isForward' (p@(InvConflictor _ _ _))
                                   = justRedP "An inverse conflictor" p
                      isForward' (p@(Etacilpud _)) = justRedP "An
    inverse duplicate" p
                      isForward' _ = Nothing
                      justRedP msg p = Just $ redText msg $$ showPatch p

due to

Wed Mar 21 21:36:32 GMT 2012  Owen Stephens <darcs@owenstephens.co.uk>
  * Style, tidy and start commenting Real.hs
msg15410 (view) Author: owst Date: 2012-03-28.23:29:47
Hi fx,

I've sent a patch that (I hope) fixes this: http://bugs.darcs.net/patch764

Could you give it a try?
Thanks,
Owen.
msg15412 (view) Author: fx Date: 2012-03-29.12:16:44
Owen Stephens <bugs@darcs.net> writes:

> Owen Stephens <darcs@owenstephens.co.uk> added the comment:
>
> Hi fx,
>
> I've sent a patch that (I hope) fixes this: http://bugs.darcs.net/patch764
>
> Could you give it a try?

It builds with that on top of the previous patch, thanks.
msg15420 (view) Author: noreply Date: 2012-03-30.16:49:36
The following patch sent by Owen Stephens <darcs@owenstephens.co.uk> updated issue issue2162 with
status=has-patch

* Resolve issue2162 
Ignore-this: 8af0d7865e9e68fe182516351bf0b845
msg15424 (view) Author: noreply Date: 2012-03-30.17:24:49
The following patch sent by Owen Stephens <darcs@owenstephens.co.uk> updated issue issue2162 with
status=resolved;resolvedin=2.8.0 HEAD

* Resolve issue2162 
Ignore-this: 8af0d7865e9e68fe182516351bf0b845
msg15537 (view) Author: ganesh Date: 2012-04-05.21:20:11
This is now really resolved in the 2.8 branch (the patch tracker was for a 
while erroneously reporting things pushed to HEAD as being fixed in 2.8, 
which is why it was already listed that way)
History
Date User Action Args
2012-03-28 22:45:33fxcreate
2012-03-28 23:29:48owstsetmessages: + msg15410
2012-03-29 12:16:45fxsetmessages: + msg15412
2012-03-30 16:49:37noreplysetstatus: unknown -> has-patch
messages: + msg15420
2012-03-30 17:24:50noreplysetstatus: has-patch -> resolved
messages: + msg15424
resolvedin: 2.8.0
2012-04-05 21:20:12ganeshsetstatus: resolved -> unknown
messages: + msg15537
2012-04-05 21:20:32ganeshsetstatus: unknown -> resolved