Eric Kow <[email protected]> added the comment:
Whoops! I confess that I tried to push this without paying close attention to
the witness types (bad reviewer! no cookie for me!)
src/Darcs/Commands/Push.lhs:127:45:
Couldn't match expected type `r' against inferred type `z'
`r' is a rigid type variable bound by
the type signature for `prepareBundle'
at src/Darcs/Commands/Push.lhs:115:26
`z' is a rigid type variable bound by
the constructor `:\/:' at src/Darcs/Commands/Push.lhs:126:13
Expected type: RL (PatchInfoAnd p) r z
Inferred type: RL (PatchInfoAnd p) z r
In the sixth argument of `prePushChatter', namely `them''
In the expression: prePushChatter opts common us us' them them'
I think this is a straightforward issue that only requires thinking about what
the witnesses mean.
Ganesh or Jason, depending on who gets to this first. Could you help Luca out
since you two have more experience with this? Luca: in the meantime, it may be
good if you tried to study this as well.
Ah, and one day the witness stuff will be turned on everywhere and we can avoid
this back and forth stuff.
----------
nosy: +dagit, ganesh
__________________________________
Darcs bug tracker <[email protected]>
<http://bugs.darcs.net/patch118>
__________________________________
_______________________________________________
darcs-users mailing list
[email protected]
http://lists.osuosl.org/mailman/listinfo/darcs-users
