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>?
{*} }