hasufell/ghc-mod
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Rename file-map option to map-file

Browse Source
This commit is contained in:
Nikolay Yakimov 2015-07-02 13:27:31 +03:00
parent 67102c92b8
commit e15eea2f39
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/GHCMod.hs
View File

@ -271,7 +271,7 @@ globalArgSpec =
reqArg "OPT" $ \g o -> Right $ reqArg "OPT" $ \g o -> Right $
o { ghcUserOptions = g : ghcUserOptions o } o { ghcUserOptions = g : ghcUserOptions o }
, option "" ["file-map"] "Redirect one file to another, --file-map \"file1.hs=file2.hs\"" $ , option "" ["map-file"] "Redirect one file to another, --map-file \"file1.hs=file2.hs\"" $
reqArg "OPT" $ \g o -> reqArg "OPT" $ \g o ->
let m = case second (drop 1) $ span (/='=') g of let m = case second (drop 1) $ span (/='=') g of
(s,"") -> (s, MemoryMapping Nothing) (s,"") -> (s, MemoryMapping Nothing)