search

idris-hackers / idris-vim

Idris mode for vim
221 stars 52 forks source link

Cannot import files with a space in path #25

Open DavidHarrison opened 9 years ago

DavidHarrison commented 9 years ago

I am having trouble on Arch Linux with files with spaces in the path. A minimal example:

mkdir Space\ Dir
cd Space\ Dir/test.idr
idris test.idr

try to write a simple function signature and add a clause. Results in:

Can't find import /path/to/space/dir/Space

Thanks, David Harrison