From 19f45a25f4b14fff081d75f506e7992c81371fc5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jan=20Hr=C4=8Dek?= Date: Sun, 4 Sep 2022 14:21:29 +0200 Subject: Document :unadd GHCi command in user guide --- ghc/GHCi/UI.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'ghc') diff --git a/ghc/GHCi/UI.hs b/ghc/GHCi/UI.hs index 3cf0c642c6..99826e7144 100644 --- a/ghc/GHCi/UI.hs +++ b/ghc/GHCi/UI.hs @@ -1994,7 +1994,7 @@ instancesCmd s = do printForUser $ vcat $ map ppr res ----------------------------------------------------------------------------- --- :load, :add, :reload +-- :load, :add, :unadd, :reload -- | Sets '-fdefer-type-errors' if 'defer' is true, executes 'load' and unsets -- '-fdefer-type-errors' again if it has not been set before. -- cgit v1.2.1