From: Manuel M T Chakravarty Date: Tue, 15 Jan 2008 01:50:14 +0000 (+0000) Subject: Fix warning when USE_READLINE is unset X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=5860730b73d2907a9b35eeb316e374ae5b267aee Fix warning when USE_READLINE is unset --- diff --git a/compiler/ghci/InteractiveUI.hs b/compiler/ghci/InteractiveUI.hs index e712e9d..e7df1bd 100644 --- a/compiler/ghci/InteractiveUI.hs +++ b/compiler/ghci/InteractiveUI.hs @@ -158,11 +158,15 @@ builtin_commands = [ -- -- NOTE: in order for us to override the default correctly, any custom entry -- must be a SUBSET of word_break_chars. -word_break_chars, flagWordBreakChars, filenameWordBreakChars :: String +#ifdef USE_READLINE +word_break_chars :: String word_break_chars = let symbols = "!#$%&*+/<=>?@\\^|-~" specials = "(),;[]`{}" spaces = " \t\n" in spaces ++ specials ++ symbols +#endif + +flagWordBreakChars, filenameWordBreakChars :: String flagWordBreakChars = " \t\n" filenameWordBreakChars = " \t\n\\`@$><=;|&{(" -- bash defaults