From 86545a895bff885f339f224e77935ca664c467e7 Mon Sep 17 00:00:00 2001 From: Nikolay Yakimov Date: Thu, 2 Jul 2015 13:28:55 +0300 Subject: [PATCH] Rename load and unload interact. cmds to map-file and unmap-file --- src/GHCMod.hs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/GHCMod.hs b/src/GHCMod.hs index 3e7af78..7ccefd6 100644 --- a/src/GHCMod.hs +++ b/src/GHCMod.hs @@ -438,11 +438,11 @@ legacyInteractiveLoop symdbreq world = do "boot" -> bootCmd [] "browse" -> browseCmd args - "load" -> loadMappedFile arg (MemoryMapping Nothing) - >> return "" + "map-file" -> loadMappedFile arg (MemoryMapping Nothing) + >> return "" - "unload" -> unloadMappedFile arg - >> return "" + "unmap-file" -> unloadMappedFile arg + >> return "" "quit" -> liftIO $ exitSuccess "" -> liftIO $ exitSuccess