From bb14c2af6576b5a470d4b7439105a5bbe2e864ca Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Tue, 6 Feb 2001 16:22:12 +0000
Subject: [PATCH] [project @ 2001-02-06 16:22:12 by simonmar] allow comments
 on the command line: convenient in scripts

---
 ghc/compiler/ghci/InteractiveUI.hs |    3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/ghc/compiler/ghci/InteractiveUI.hs b/ghc/compiler/ghci/InteractiveUI.hs
index 0ff00a5..3ee44dc 100644
--- a/ghc/compiler/ghci/InteractiveUI.hs
+++ b/ghc/compiler/ghci/InteractiveUI.hs
@@ -1,5 +1,5 @@
 -----------------------------------------------------------------------------
--- $Id: InteractiveUI.hs,v 1.32 2001/02/06 11:57:30 simonmar Exp $
+-- $Id: InteractiveUI.hs,v 1.33 2001/02/06 16:22:12 simonmar Exp $
 --
 -- GHC Interactive User Interface
 --
@@ -192,6 +192,7 @@ runCommand c =
    doCommand c
 
 doCommand (':' : command) = specialCommand command
+doCommand ('-':'-':_) = return False	-- comments, useful in scripts
 doCommand expr
    = do expr_expanded <- expandExpr expr
         -- io (putStrLn ( "Before: " ++ expr ++ "\nAfter:  " ++ expr_expanded))
-- 
1.7.10.4