Commit 0b439b64 authored by POTTIER Francois's avatar POTTIER Francois

TODO.

parent b88ffd36
Pipeline #61613 passed with stages
in 20 seconds
......@@ -238,3 +238,8 @@
et on se retrouve en mode gestion d'erreur dans le même état; cf. bug
rapporté par Gabriel Scherer sur la grammaire d'OCaml, OCaml 0007847).
On pourrait détecter ce cas et le traiter spécialement?
* The use of `--external-tokens` is perhaps unsafe. If the external type
`token` is out of sync with the `%token` declarations in the grammar,
then the type error might go unnoticed (due to Obj.magic?) and result
in a hard crash.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment