Skip to content
This repository has been archived by the owner on Apr 25, 2020. It is now read-only.

ghc-modi cannot handle spaces in filenames #295

Closed
int3 opened this issue Jul 24, 2014 · 2 comments
Closed

ghc-modi cannot handle spaces in filenames #295

int3 opened this issue Jul 24, 2014 · 2 comments

Comments

@int3
Copy link

int3 commented Jul 24, 2014

Looking at the code, there seems to be no way to tell ghc-modi to type a file with spaces in its name -- the command parser uses words, which considers all spaces as parameter separators, escaped or otherwise.

@kazu-yamamoto
Copy link
Collaborator

Fixed in the patch above.

@lierdakil
Copy link
Collaborator

I'm sorry, but how exactly does this help with "type file with spaces.hs 93 11"? splitN 3 will just split it into ["file","with","spaces.hs 93 11"], which is not helpful at all.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

No branches or pull requests

3 participants