Author: bernhard
Date: Fri Nov  7 04:36:39 2008
New Revision: 32421

Modified:
   trunk/languages/pipp/src/pct/grammar.pg

Log:
Pipp: explicitly require whitespace after 'echo'


Modified: trunk/languages/pipp/src/pct/grammar.pg
==============================================================================
--- trunk/languages/pipp/src/pct/grammar.pg     (original)
+++ trunk/languages/pipp/src/pct/grammar.pg     Fri Nov  7 04:36:39 2008
@@ -66,7 +66,7 @@
                             | <before '?'>
                             | $
                             }
-rule  echo_statement        { 'echo' <ws>  <arguments> <.statement_delimiter>  
      {*} }
+rule  echo_statement        { 'echo'<ws_char>+<arguments> 
<.statement_delimiter>     {*} }
 rule  expression_statement  { <expression> <.statement_delimiter>              
      {*} }
 rule  arguments             { [ <expression> [',' <expression>]* ]?            
      {*} }
 rule  if_statement          { 'if' '(' <expression> ')' <block> <else_clause>? 
      {*} }

Reply via email to