kframework/k — pull request #1109 by radumereuta (2014-10-24 20:26:13+00:00)
Title: Added better error message for when SDF crashes

to indicate the line number of the rule in question.

@dwightguth please review.

I've added a catch for any type of exception that SDF might throw since I'm the only one interested in them, and replace it with a K localized message to indicate which is the rule that doesn't parse and crashes the parser.