Re: Rebase [was: My current work on darcs]

Am 27.09.2017 um 17:02 schrieb Benjamin Franksen:
> On 09/08/2017 01:58 PM, Ben Franksen wrote:
>> There is also some fairly elaborated type machinery at work to
>> distinguish repos with and without a rebase in progress.
> 
> And this, by the way, further complicates things: we'd now have two
> patch lists wich may not be compatible, since the 'rt' type parameter
> does not match. And what if we also have a rebase locally? It is a
> different rebase, of course, and we must avoid to mix both rebase
> patches, else things go seriously wrong. Unfortunately, the type
> machinery, elaborate as it is, cannot tell the difference between the
> two, so it does not help us to avoid such a mistake.

Apropos. I have been wondering: it should be possible to use
Data.Coerce.coerce instead of #unsafeCoerce when we type cast
wintnesses, since these are purely phantom i.e. they don't occur in the
implementation. However, it turns out this doesn't work as smoothly as I
thought.