on master help sign in
Trim trailing spaces when getting a file name from the REPL

Fixes #2238

commit160e7e1a09b09e9a1c8c0f15d4c8d5ec3aaa6516 authorNiklas Larsson <niklas@mm.st> dateThu 7 May 2015, 20:16 (11 years ago) parent375c986
1 file changed+1−1
src/Idris/Chaser.hs+1−1
src/Idris/Chaser.hs+1−1
@@ -71,7 +71,7 @@ extractFileName ('"':xs) = takeWhile (/= '"') xs
7171extractFileName ('\'':xs) = takeWhile (/= '\'') xs
7272extractFileName x = build x []
7373 where
74− build [] acc = reverse acc
74+ build [] acc = reverse $ dropWhile (== ' ') acc
7575 build ('\\':' ':xs) acc = build xs (' ':acc)
7676 build (x:xs) acc = build xs (x:acc)
7777