John Soo

I do not think this is currently supported. Most of the semantic information we get comes from the compiler. This would certainly be nice to have in the future.

True. I suppose we keep an eye on this feature in the future.

Did you happen to have a package dependency in your `ipkg` `pkgs` clause that was not resolved? This happened to me when there was a message `Warning from Idris: The...

Where do you think the messages should end up?

Hmmm. I think I was experiencing #460 but I still like the UX improvement of moving the message to an idris buffer.

Looks good. Should we create an issue for it?

Should I be using something else? (#158)

I am experiencing this in spacemacs as well with idris 1.3.0: ``` Debugger entered--Lisp error: (wrong-type-argument stringp nil) file-name-directory(nil) idris-filename-to-load() idris-update-loaded-region(nil) #f(compiled-function (result) #)(nil) #f(compiled-function (result) #)(nil) #f(compiled-function (g492 g493...

Can the issue be reopened since multiple people are experiencing it?

I did some initial debugging and it looks loading a file in spacemacs focuses on the holes buffer immediately. Then `(buffer-file-name)` returns nil when checking `(idris-filename-to-load)`. Should I report in...