From 0b2e0934161ebce30bc6baf4e49fac184e3f0d22 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Wed, 20 May 2009 12:10:54 +0000
Subject: [PATCH] now a single line comment (--) is recongized as an empty
 command. Usefull for GF shell scripts

---
 src/GF/Command/Parse.hs | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/src/GF/Command/Parse.hs b/src/GF/Command/Parse.hs
index f48d0d444..3417baff9 100644
--- a/src/GF/Command/Parse.hs
+++ b/src/GF/Command/Parse.hs
@@ -14,9 +14,10 @@ readCommandLine s = case [x | (x,cs) <- RP.readP_to_S pCommandLine s, all isSpac
                       [x] -> Just x
                       _   -> Nothing
 
-test s = RP.readP_to_S pCommandLine s 
-
-pCommandLine = RP.sepBy (RP.skipSpaces >> pPipe) (RP.skipSpaces >> RP.char ';')
+pCommandLine =
+  (RP.skipSpaces >> RP.char '-' >> RP.char '-' >> RP.skipMany (RP.satisfy (const True)) >> return [])   -- comment
+  RP.<++
+  (RP.sepBy (RP.skipSpaces >> pPipe) (RP.skipSpaces >> RP.char ';'))
 
 pPipe = RP.sepBy1 (RP.skipSpaces >> pCommand) (RP.skipSpaces >> RP.char '|')