Juxtaposing quotation mark about bnfc

[andreasabel]

Yes, unfortunately "'" isn't a proper operator character atm in the standard backend (Haskell).
You can use this invocation instead, to use the C backend instead of the Haskell one.

bnfc --c -m GRAMMAR.cf

[andreasabel]

Since Idents can contain quotation marks, x' will parse as an identifier.
You can define your own identifier tokens, e.g.:

Exp. Exp ::= Id "'";
token Id letter (letter | digit | '_')*;

This works as expected in the "imperative" backends (C, C++, Java) but not in the "functional" ones (Haskell, OCaml).

The problem is in how the functional backends implement the lexer: they always include lexing of Ident, so that keywords can be lexed as Ident and then classified as keywords later. This is to prevent explosion of the lexer automata.
Unfortunately, it leads to this bug.

Related:

• #420
• #197

[sergey-goncharov]

Thanks, Andreas, for a quick reply!

Exp. Exp ::= Id "'";
token Id letter (letter | digit | '_')*;

That is roughly how I started. I've just minimized that example, since the problem persisted. I am following the basics steps from the tutorial, which suggests to use Test, generated with bnfc -d -m for basic testing.

[jasper-e]

Yes, unfortunately "'" isn't a proper operator character atm in the standard backend (Haskell). You can use this invocation instead, to use the C backend instead of the Haskell one.

bnfc --c -m GRAMMAR.cf

My problem is that I combine bnfc Haskell backend with Haskell-based uuagc...
I would highly appreciate a command line flag for the Haskell backend to omit including Ident, which I could put in my Makefile...