ocamlyacc 2.04 bug report

[vicuna]

ocamlyacc 2.04 bug report

[vicuna]

Comment author: administrator

le source suivant est accepte par ocamlyacc, malgre le `|' manquant en
debut de ligne 19.
Du coup, les # line-nb renvoient n'importe ou dans le fichier .mly
[...]
expr:
INT { Int($1) }
VAR { Var($1) }
| LPAREN expr RPAREN { $2 }

J'ai pas vu le probleme avec les # line-nb, mais j'ai fixe ocamlyacc pour qu'il
donne une erreur de syntaxe (sur "VAR" a la ligne 19) dans ce cas.

-- Damien

[vicuna]

Comment author: administrator

On Fri, 3 Mar 2000, Damien Doligez wrote:

le source suivant est accepte par ocamlyacc, malgre le `|' manquant en
debut de ligne 19.
Du coup, les # line-nb renvoient n'importe ou dans le fichier .mly
[...]
expr:
INT { Int($1) }
VAR { Var($1) }
| LPAREN expr RPAREN { $2 }

J'ai pas vu le probleme avec les # line-nb, mais j'ai fixe ocamlyacc pour qu'il
donne une erreur de syntaxe (sur "VAR" a la ligne 19) dans ce cas.

-- Damien

Il n'y a pas de probleme a proprement parler avec les # line-nb ;
simplement, quand on a une erreur dans le code autogenere de parser.ml ---
ce qui ne devrait jamais se produire, mais qui arrivait ici ---, le
message d'erreur d'ocamlc renvoie n'importe ou dans parser.mly au lieu de
renvoyer a la ligne fautive de parser.ml, du fait des # line-nb

[vicuna]

Comment author: administrator

Fixed in 3.00