Idris: Oh hi @jfdm, I see you want to recompile your working code using my newest version. Well tough shit....
@jfdm normally means you have a partial function in a type. Perhaps a coverage checker bug has been fixed...
-
-
@edwinbrady yeah...there was a non-covering function in play...however, the coverage annotation didn't pick up the error -
@edwinbrady any who, shouldn't you be on holiday? - 1 more reply
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.