Multi-line pkgs parsed incorrectly

[SmiVan]

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]

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]

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