'How to understand and make use of --list-errors for debugging menhir
I am quite new to menhir and obviously i've run into an issue with what i'm trying to parse that produced the following error:
Fatal error: exception Parser.MenhirBasics.Error
The problem is that when i tried using --list-errors to understand what went wrong it gave me a list of inputs that it tried and in what state did it fail and gives me the following warnings:
WARNING: This example involves spurious reductions. This implies that, although the LR(1) items shown above provide an accurate view of the past (what has been recognized so far), they may provide an INCOMPLETE view of the future (what was expected next)
While i obviously recognize the words it says, i don't particularly understand the meaning in the context of my code and how i can use the examples to debug it so i was wondering if there is a way to understand this or at worst a decent readup or an easier way to debug my menhir code?
Sources
This article follows the attribution requirements of Stack Overflow and is licensed under CC BY-SA 3.0.
Source: Stack Overflow
| Solution | Source |
|---|