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?
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information