-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Pavel Avgustinov wrote:
> Keywords are identifiers, and identifiers are generally comprised
> of letters, digits and underscores. Using non-alphanumeric
> characaters like <, -, > results in those being parsed as operators
> rather than keywords.
> There is at present no mechanism for adding your own operators --
> you'll have to look into extending the flex file. It should be
> quite straightforward to do, if you look at how all other operators
> are
> handled.
Got it working. Was indeed just a two-lines patch. A pity that there
is no "extend" keyword as in PPG :-)
Thanks!
Eric
- --
Eric Bodden
Chair I2 for Programming Languages and Program Analysis
RWTH Aachen University
-----BEGIN PGP SIGNATURE-----
Version: PGP 8.0.3
iQA/AwUBQqGCwMwiFCm7RlWCEQIj3wCfZyAunkWioQX6UZ0PE3ejoI0uwJAAoKwC
WPRkfFBpVLzPr9SAC2A0aMaz
=XV8P
-----END PGP SIGNATURE-----
Received on Sat Jun 4 07:52:22 2005
This archive was generated by hypermail 2.1.8 : Thu Jun 30 2005 - 23:50:19 BST