Author: bernhard
Date: Fri Nov 7 04:23:09 2008
New Revision: 32420
Modified:
trunk/languages/pipp/src/pct/grammar.pg
Log:
Pipp: Use token <ws_char> for defining the token <ws>.
Do not capture <ws_char>.
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:23:09 2008
@@ -9,8 +9,7 @@
token TOP { ^ <sea_or_code>+
{*} }
# whitespace and comments
-token ws { [ \h
- | \v
+token ws { [ <.ws_char>
| <singlelinecomment>
| <multilinecomment>
]*
