Weirdest bugever in my idris code: an interface contains a method with a default implementation (among others), an implementation makes the default method failed (typecheck error). Me:pic.twitter.com/HuSxrfG3i0
-
-
Well. Can’t find implementation for class Foo a b c wasn’t helping anyway ;-)
-
Ah well then :). Blodwen gives its errors in the core language at the moment. There might also be a few bits of high level syntax missing. But it might be worth playing around with it.
End of conversation
New conversation -
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.