On Sun, Dec 14, 2008 at 11:15:14 +0100, Christian Kellermann wrote: > Sun Dec 14 10:57:09 CET 2008 Christian Kellermann > <[email protected]> > * fix list command to select accepted patches only
Actually, this patch causes the following compile error on GHC 6.8.3...
Sounds like #haskell time...
src/Darcs/SelectChanges.hs:488:42:
Inferred type is less polymorphic than expected
Quantified type variable `z2' escapes
When checking an existential match that binds
first_chs :: FL (TaggedPatch p) x z1
last_chs :: FL (TaggedPatch p) z2 z
The pattern(s) have type(s): (:>)
(FL (TaggedPatch p))
(FL (TaggedPatch p) :> FL (TaggedPatch p))
x
z
The body has type: FL (TaggedPatch p) z2 z
In a case alternative:
(first_chs :> _ :> last_chs)
-> if whichch == Last || whichch == FirstReversed then
last_chs
else
first_chs
In the expression:
case get_choices pc of
(first_chs :> _ :> last_chs)
-> if whichch == Last || whichch == FirstReversed then
last_chs
else
first_chs
--
Eric Kow <http://www.nltg.brighton.ac.uk/home/Eric.Kow>
PGP Key ID: 08AC04F9
pgpK9Y4Nyk4QA.pgp
Description: PGP signature
_______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
