kframework/k — pull request #330 by mdmkolbe (2014-04-01 16:16:53+00:00)
Title: Parser phases

Added a phase distinction in error messages between between the inner and outer parsers.