Make parser more robust and suggest likely causes of error

[David Aspinall <da+pgtrac@…>]

The parser reports problems reconciling parseresult with the input text and throws many obscure exceptions, complaining about the parse result from the prover. The root cause of the problem is typically a mis-configured symbol table. This is very hard for the user to understand (and pretty difficult to debug, too).

Parsing should be made robust against this, ideally by not attempting to match symbols (and worse, shortcuts) against parse results, but rather always comparing ASCII results with ASCII-decoded document contents.

This is probably one of the major likely-showstoppers in the system.

[David Aspinall]

Milestone PG-Eclipse-1.1.0 deleted