Position tokens not supported by cpp-nostl backend

Open andreasabel opened this issue 5 years ago • 0 comments

Position tokens lack support in the following backends, the test #235 fails now for these backends (since I added a position token declaration to the test case).

[x] Agda: AST binding ignores position component
[x] CPP-NoSTL: position has always been ignored, but fixes of #100 (e8abd9f99b04d3e4c2ee19f194a119f017ad2a97) and #277 ( 4fb4116931bdd579097ef84c8c7fbe735bdc78d) broke even generation of Printer/Skeleton
[x] CPP with namespace
[x] Java with jflex (this was actually #299)

Remaining TODO (low-prio):

[ ] respect position in token declarations in CPP-NoSTL backend.

Oct 03 '20 17:10 andreasabel