search

banacorn / agda-mode

agda-mode on Atom
https://atom.io/packages/agda-mode
MIT License
58 stars 14 forks source link

Can't use auto with agda 2.6.0 #91

Closed Zinfour closed 5 years ago

Zinfour commented 5 years ago

I just tried to replace my agda installation with the master branch and now when I use C-c C-a I get


agda2-parse-error cannot read: IOTCM "/path/to/file.agda" NonInteractive Direct ( Cmd_auto 0 (intervalsToRange (Just (mkAbsolute "/path/to/file.agda")) [Interval (Pn () 7 1 7) (Pn () 10 1 10)]) "" )
banacorn commented 5 years ago

Thanks, we are working on a patch! https://github.com/banacorn/agda-mode/pull/88

banacorn commented 5 years ago

Should be fixed on v0.8.10 now