@edwinbrady have u tested :watch finally? Trying it & see "Watching for .idr changes in ["xxx.idr"], press enter to cancel." Nothing happens
@mandubian I haven't yet I'm afraid - might be best to report it as an issue. Will try to catch up soon. @pdxleif may know better though!
-
-
@edwinbrady@pdxleif ok... FYI I've upgraded to 0.10.0, 2 days ago & tried :watch, it seems to watch something but not my file :D -
@mandubian@edwinbrady Current release doesn't work on file w/ symlink in path or at relative path to Idris's cwd on OSX. Fixed in master. - 2 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.