Hit a type checking problem in Idris again: "Idris convinced that all cases are impossible, but also admits there are possible cases" https://github.com/idris-lang/Idris-dev/issues/4650 … Not sure if this is the same or different as what I hit before. :s
-
-
Having said that, I still pay attention to the issue tracker if only to make sure they're resolved as far as possible in Blodwen. And when that gets far enough to be able to compile itself, then we can really start having fun...
-
Anyway, I briefly investigated this, and the good news is that Blodwen's case splitting machinery doesn't think this is impossible. It's been so much easier since I knew what I was aiming at when I started :).
- 2 more replies
New conversation -
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.