From a951e1bab3dfd3e9de31b0d8bf5699a9216b181d Mon Sep 17 00:00:00 2001 From: Takenobu Tani <takenobu.hs@gmail.com> Date: Sat, 9 May 2020 11:25:17 +0900 Subject: [PATCH] GHCi: Add link to the user's guide in help message This commit adds a link to the user's guide in ghci's `:help` message. Newcomers could easily reach to details of ghci. --- ghc/GHCi/UI.hs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/ghc/GHCi/UI.hs b/ghc/GHCi/UI.hs index 6e4bc40afd4..e3ebeaf2d23 100644 --- a/ghc/GHCi/UI.hs +++ b/ghc/GHCi/UI.hs @@ -403,6 +403,10 @@ defFullHelpText = " :show <setting> show value of <setting>, which is one of\n" ++ " [args, prog, editor, stop]\n" ++ " :showi language show language flags for interactive evaluation\n" ++ + "\n" ++ + " The User's Guide has more information. An online copy can be found here:\n" ++ + "\n" ++ + " https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/ghci.html\n" ++ "\n" findEditor :: IO String -- GitLab