- 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).