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
I'm wondering what on earth you're up to with this... and if it's something that'll work better in the new thing...
-
-
Do you think I can already try my abominations on Blodwen?
-
I suppose it's possible but I haven't done anything about error messages yet so if it doesn't work it might be a bit of a mystery...
- 2 more replies
New conversation -
-
-
Imagine your STrans code as a typeclass, it's somehow what I'm fighting with at the moment. The weirdest thing was the issue with implicit parameters and typeclasses.
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.