Not picking on Idris here, because it's typical (first noticed it in PureScript). But note this: Idris> Just 3 Just 3 : Maybe Integer Idris> Nothing (input):Can't infer argument a to Nothing Idris> I understand the surface reason ("what kind of Nothing is it?"), but... 1/2
-
-
But it's not clear exactly when this is desirable, since sometimes a hole might indicate a real error (rather than, as in this case, a generic type that can't been resolved yet). This has come up a few times, will think about it more deeply for version 2...
-
My guess is it doesn't come up much in non-repl practice. A non-jargony error message would help Elm newbies. I spent a bit over an A4 page explaining the issue to them. (First draft.)pic.twitter.com/ETLOeNYpZl
- 9 more replies
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.