Re:Plans for OCaml 4.08
by WallWextra on Wednesday July 04, 2018 @11:57AM
(#17457905)
This is a nice counterexample to the wisdom that production compilers all use hand-written parsers. Of course, the current parser does suck, but...
[ Parent
| on HN ]
IIRC OCaml compilation was super fast and the errors were useful and pointed to the correct line.
What is/was the problem with the current parser?
Re:Plans for OCaml 4.08
by WallWextra on Wednesday July 04, 2018 @12:46PM
(#17458180)
As the blog post says: "Error: Syntax Error".
Helpful error messages have not been my experience.
Syntax errors are suboptimal. They are usually reported at correct location and it's relatively easy to spot them.
On the other hand type error messages are simply awesome.
Re:Plans for OCaml 4.08
by seanmcdirmid on Wednesday July 04, 2018 @12:44PM
(#17458169)
Generally auto generated parsers have huge problems with error recovery (bailing out quickly) and reporting. They usually exceed in performance however. Iām not sure where OCaml stands.
They do not want to change the parser but the parser generator.
One issue is mentioned in the blog post:
The days of Error: Syntax error. may be numbered