search

idris-hackers / atom-language-idris

A Idris Mode for Atom.io
MIT License
100 stars 24 forks source link

Multi-line pkgs parsed incorrectly #241

Open SmiVan opened 4 years ago

SmiVan commented 4 years ago

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:

My .ipkg file had a segment like this

...
pkgs = contrib
libs = ...

Apparently, as I found out through atom's developer mode, the plugin interprets this package list as pkgs: ["contrib↵libs"], which presumably in turn caused the closing/crashing at the compiler.

After placing pkgs = contrib at the end of the .ipkg file, as a temporary measure, I stopped experiencing this problem.

This is on Ubuntu 18.04.3 LTS, Atom 1.42.0, language-idris 0.5.1, Idris 1.3.2.

justjoheinz commented 4 years ago

Thanks for reporting - unfortunately the ipkg parsing is very rudimentary at the moment. As an alternative you could also use the opts = "...." fields to pass options directly to the idris command line.

justjoheinz commented 4 years ago

FYI - a newline between pkgs and libs would also have helped :-)