atom-language-idris
atom-language-idris copied to clipboard
idris-hackers
A Idris Mode for Atom.io
The idris2's `:cd` command requires a quoted string, but the [changeDirectory() function](https://github.com/idris-hackers/atom-language-idris/blob/a283bbc6fe656ca8c62016c730ccde6ad98d88b7/lib/idris-model.ts#L132) does not surround the `dir` variable with quotes. As a result of this, there are the errors: ```...
Work in progress to replace our own ide client with this: https://github.com/meraymond2/idris-ide-client
Bowden should work with Atom. Current requirements: - [ ] Make idris/bowden command configurable - [ ] Add `.blod` as file extension to the grammar - [ ] Remove unsupported...
If a type provider outputs stuff to stdout (during type checking), this output is then inserted into the ide-mode stdout stream which the Atom mode is reading. This messes up...
ide-mode gives us back data on how to highlight the sourcecode: http://docs.idris-lang.org/en/latest/reference/ide-protocol.html#source-code-highlighting this would need some sort of dynamic grammar see discussions on how to do it: https://discuss.atom.io/t/syntax-highlighting-using-existing-tokenizer/13608 https://discuss.atom.io/t/automatically-update-to-dynamic-grammar/10181 https://discuss.atom.io/t/defining-a-language-grammar-via-code/14784/2...
I'm getting error message -4058 that says it can't find the idris executable. I have the right file path in my package settings, so I don't know what the error...
I've experienced a problem similar to #221 with a project of mine - the compiler crashing/closing on any action, but after digging around I figured out what the issue was:...
Atom on Windows 10, language-idris 0.5.1 Keybindings are enabled in the plugin settings and ctrl-alt-s is listed. Ctrl-shift-p and searching for idris shows the proof-search command and shows Ctrl+Alt+S as...
[Enter steps to reproduce:] 1. ... 2. ... **Atom**: 1.18.0 x64 **Electron**: 1.3.15 **OS**: Microsoft Windows 10 Pro **Thrown From**: [language-idris](https://github.com/idris-hackers/atom-language-idris) package 0.4.9 ### Stack Trace Uncaught At 0 expected:...
The default keymap is both awkward and dull. For one, three-key combos like Ctrl-Alt-k are difficult enough to type "in-flow". Shortcuts supposed to be short! Next, Ctrl-Alt-T is used in...
