diff options
| author | Matthew Pickering <matthewtpickering@gmail.com> | 2022-06-28 18:24:07 +0100 |
|---|---|---|
| committer | Zubin <zubin.duggal@gmail.com> | 2022-07-04 08:54:50 +0000 |
| commit | a82d99ff65745ecf5e689096a73e24c723a4592c (patch) | |
| tree | 69e5102cacc44a57edf102841064ad53da02b94c /ghc | |
| parent | 2635c6f2bfb3d1126fa868768fc4b8349d0b9950 (diff) | |
| download | haskell-wip/set-prompt-multi.tar.gz | |
ghci: Support :set prompt in multi replwip/set-prompt-multi
This adds supports for various :set commands apart from `:set <FLAG>` in
multi repl, this includes `:set prompt` and so-on.
Fixes #21796
Diffstat (limited to 'ghc')
| -rw-r--r-- | ghc/GHCi/UI.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ghc/GHCi/UI.hs b/ghc/GHCi/UI.hs index 8fac7da93a..38cce4b1e7 100644 --- a/ghc/GHCi/UI.hs +++ b/ghc/GHCi/UI.hs @@ -236,7 +236,7 @@ ghciCommands = map mkCmd [ ("reload!", keepGoingMulti' reloadModuleDefer, noCompletion), ("run", keepGoing runRun, completeFilename), ("script", keepGoing' scriptCmd, completeFilename), - ("set", keepGoing setCmd, completeSetOptions), + ("set", keepGoingMulti setCmd, completeSetOptions), ("seti", keepGoingMulti setiCmd, completeSeti), ("show", keepGoingMulti' showCmd, completeShowOptions), ("showi", keepGoing showiCmd, completeShowiOptions), @@ -2961,7 +2961,7 @@ setCmd str setLocalConfigBehaviour $ dropWhile isSpace rest _ -> case toArgsNoLoc str of Left err -> liftIO (hPutStrLn stderr err) - Right wds -> setOptions wds + Right wds -> () <$ keepGoing' setOptions wds setiCmd :: GhciMonad m => String -> m () setiCmd "" = GHC.getInteractiveDynFlags >>= liftIO . showDynFlags False |