From a1079f22a0350b9ce7f0195e68f05105126b2cc5 Mon Sep 17 00:00:00 2001 From: Nikolay Yakimov Date: Sun, 20 Dec 2015 06:38:28 +0300 Subject: [PATCH] Expand map-file and unmap-file interactive help --- src/GHCMod/Options/Commands.hs | 15 ++++++++++----- 1 file changed, 10 insertions(+), 5 deletions(-) diff --git a/src/GHCMod/Options/Commands.hs b/src/GHCMod/Options/Commands.hs index 41e17d8..8ef7784 100644 --- a/src/GHCMod/Options/Commands.hs +++ b/src/GHCMod/Options/Commands.hs @@ -186,14 +186,19 @@ interactiveCommandsSpec = icmds = commands <> command "map-file" - $$ info mapArgSpec - $$ progDesc "tells ghc-modi to read `file.hs` source from stdin" + $$ info (helper <*> mapArgSpec) + $$ progDesc "tells ghc-modi to read `file.hs` source from stdin" + <=> footer "File end marker is `\\n\\EOT\\n`,\ + \ i.e. `\\x0A\\x04\\x0A`. `file.hs` may or may not exist, and should be\ + \ either full path, or relative to project root." <> command "unmap-file" - $$ info unmapArgSpec - $$ progDesc "unloads previously mapped file, so that it's no longer mapped." + $$ info (helper <*> unmapArgSpec) + $$ progDesc "unloads previously mapped file, so that it's no longer mapped." + <=> footer "`file.hs` can be full path or relative to\ + \ project root, either will work." <> command "quit" $$ info (pure CmdQuit) - $$ progDesc "Exits interactive mode" + $$ progDesc "Exit interactive mode" <> command "" $$ info (pure CmdQuit) idm leftover = many (strArg "")