I'm putting a bit of effort into better #idris error messages. But I can't help thinking it'd be easier if people just didn't make errors.
-
-
Replying to @edwinbrady
Maybe I should simplify things and implement this old GHC "feature" instead http://osdir.com/ml/lang.haskell.glasgow.bugs/2003-07/msg00054.html …
1 reply 1 retweet 10 likes -
Replying to @edwinbrady
@edwinbrady once we make it so Elab can run IO actions and stick error reflection in Elab, you will be able to implement this in Idris!1 reply 0 retweets 1 like -
-
Replying to @edwinbrady
@edwinbrady I still want the library that tweets my errors2 replies 0 retweets 0 likes
Replying to @d_christiansen
@d_christiansen oh, there's an incentive to get it right first time…
6:04 AM - 19 Apr 2016
0 replies
0 retweets
2 likes
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.