parse_result -> string
I'm developing an executable Coq program using coq-menhirlib. How should I print an informative error message when parse
returns a Fail_pr_full
?
I'm developing an executable Coq program using coq-menhirlib. How should I print an informative error message when parse
returns a Fail_pr_full
?