* ocamlyacc error reporting
@ 1999-04-14 17:45 Markus Mottl
0 siblings, 0 replies; only message in thread
From: Markus Mottl @ 1999-04-14 17:45 UTC (permalink / raw)
To: OCAML
Hello,
it would be great if "ocamlyacc" reported more errors on badly specified
grammars. Some difficult to spot mistakes could then be resolved more
easily.
E.g.:
main : SOME_TOKEN foo {}
foo : main {}
It is impossible to derive any sentence from this grammar - still, there
is no error/warning. But also parts of a grammar can be underivable. This
can be very difficult to see in large grammars.
I have tried this example with "bison" and it can report such errors. This
is not the case with "yacc", but since ocamlyacc is based on "yacc"-code,
this is understandable...
Best regards,
Markus Mottl
--
Markus Mottl, mottl@miss.wu-wien.ac.at, http://miss.wu-wien.ac.at/~mottl
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~1999-04-15 15:47 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1999-04-14 17:45 ocamlyacc error reporting Markus Mottl
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox