Nothing Special   »   [go: up one dir, main page]
Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Ocaml: generated printer has syntax error #330

Closed
andreasabel opened this issue Dec 30, 2020 · 0 comments
Closed

Ocaml: generated printer has syntax error #330

andreasabel opened this issue Dec 30, 2020 · 0 comments
Assignees
@andreasabel
Labels
OCaml printer Concerning the generated printer
Milestone
2.9.1

Comments

@andreasabel
Copy link
Member
andreasabel commented Dec 30, 2020 •
edited
Loading

Bug can be triggered e.g. with BNFC's own grammar.

$ runbnfc.sh ocaml BNFC.cf
...
writing new file ocaml/PrintBNFC.ml
...
ocamlc  -o TestBNFC BNFC_Util.ml AbsBNFC.ml SkelBNFC.ml ShowBNFC.ml PrintBNFC.ml ParBNFC.mli ParBNFC.ml LexBNFC.ml TestBNFC.ml
File "PrintBNFC.ml", line 112, characters 2-3:
112 |   | (_,x::xs) -> (concatD [prtDef 0 x ; render ";" ; prtDefListBNFC 0 xs])
        ^
Error: Syntax error

This problem exists at least in versions 2.8.1 -- 2.9.0.
@andreasabel andreasabel added OCaml printer Concerning the generated printer labels Dec 30, 2020
@andreasabel andreasabel added this to the 2.9.1 milestone Dec 30, 2020
@andreasabel andreasabel self-assigned this Dec 30, 2020
andreasabel added a commit that referenced this issue Dec 31, 2020
@andreasabel
[ re #330 ] don't confine to parsable rules in printer
53a3e6a 
Maybe this was a sleeping bug for internal list categories,
which wouldn't get a printer.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@andreasabel andreasabel

Labels
OCaml printer Concerning the generated printer
Projects
None yet
Milestone
2.9.1
Development

No branches or pull requests
1 participant
@andreasabel