I really don't like the way scoping works in Idris. I feel like it tries to do too much automagically & just fails to understand what I mean
-
-
@eisaru Even so, can you show me your code? Error messages should explain this problem, and ought to have got better recently.
-
@edwinbrady After minimisation: this is broken http://lpaste.net/158422 and this works http://lpaste.net/158423 - 5 more replies
New conversation -
-
-
@edwinbrady I know that there are rules, I just don't agree with them. :) -
@eisaru Well, you don't have to like them… but I'm not convinced the example you ranted about is doing what you think, so I'd like to see it
- 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.