Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-04-08 18:49:29 -0700 (Tue, 08 Apr 2003)
- Now the Pcaml.Qerror exceptions are pretty-printed correctly
(instead of just being printed in the unexpanded format), so
the term parsing errors are reported in a human-readable way now.
- When there is a parsing error, the readline buffer is flushed
(which means no further error get reported when it attempts to parse
the ramaining buffer starting at a random point where the previous
parsing attempt failed).