[Agda] Panic: CanSplit

[Ulf Norell]

On Thu, Jul 16, 2009 at 10:50 PM, Wouter Swierstra <wouter at chalmers.se>wrote:

>
> Yet I'm struggling to prove it. The obvious proof, by doing a case split on
> "fs i <= fs j", gives me the rather cryptic error message:
>
>  Panic: CantSplit Tmp.Step
>

Is this with a recent version of Agda? I thought I had fixed these error
messages to make more sense.

/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.chalmers.se/mailman/private/agda/attachments/20090716/984763a8/attachment.html