@edwinbrady no, that should be enough. But it crashes when trying to find/parse the file. I'm trying to get it to break for me too :D
-
-
Replying to @archaeron
@archaeron Code is in http://www.idris-lang.org/kats/part2.tgz in the Effects/ directory. Now it doesn't crash, but also can't find the Effect import1 reply 0 retweets 0 likes -
Replying to @edwinbrady
@archaeron Do I need to set up paths anywhere, or does it just look in the same directory as the current source file?2 replies 0 retweets 0 likes -
Replying to @edwinbrady
@edwinbrady it looks in the top levelndirectory of your priject. I need to write some documentation for it. Will do today.1 reply 0 retweets 0 likes -
Replying to @archaeron
@archaeron most likely my project is set up wrong then. I'll try later...2 replies 0 retweets 0 likes -
Replying to @edwinbrady
@edwinbrady I hope this helps: https://github.com/idris-hackers/atom-language-idris/blob/c4364c3e9f66f86f6c0c977fce53d38cbf607138/documentation/ipkg.md …1 reply 0 retweets 0 likes -
Replying to @archaeron
@archaeron I'll give it a go. Thanks for your help! Will give you proper credit in tomorrow's talk :)1 reply 0 retweets 0 likes -
Replying to @edwinbrady
@edwinbrady I'm really glad someone debugs the package :) I found an issue when testing with your code https://github.com/idris-hackers/atom-language-idris/issues/60 … thanks!1 reply 0 retweets 0 likes -
Replying to @archaeron
@archaeron oh, that probably explains it. I'm away from my machine but I expect it'll be easy to get everything going now.2 replies 0 retweets 0 likes -
Replying to @edwinbrady
@edwinbrady is it reasonabe to start the compiler from the same directory as the file you're working on? or should it be the toplevel folder2 replies 0 retweets 0 likes
@archaeron I think the top level but if all else fails current directory seems a sensible default
-
-
Replying to @edwinbrady
@edwinbrady thanks for your help. Hope the talk will go over smoothly. Good luck :)0 replies 0 retweets 0 likesThanks. 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.