raichoo
raichoo
This could be related to another plugin interfering with idris-vim. I had a similar issue with syntastic, I fixed it by adding `let g:syntastic_check_on_wq = 0` to my `.vimrc`.
This should work now.
I'm planning to collect examples where the indenter does things one does not expect in this thread. Additionally I'm going to push fixes to the branch `indentation`. Indenting is hard...
Thanks a lot, it looks like I didn't handle the pragmas and block comments correctly when checking for nesting. I've pushed another fix on the `indentation` branch that should deal...
I'm afraid I don't understand the comment indentation example. You start with a somewhat unusual example: ``` main :: IO () main = do -- blah blah blah
No problem. Thanks for bringing these issues to my attention. If you find anything or have an idea how we can support more unusual indentation styles without breaking things and...
By the way, these changes are now on `master`.
I have pushed a change onto the indentation branch that should deal with this. Can you check if this fixes your problem and maybe take a shallow look if something...
Doesn't `vundle` keep git repos of the plugins? If so you could simply fetch the branch and check it out manually.
I have merged this into `master`.