kframework/k — pull request #897 by dwightguth (2014-08-28 17:02:52+00:00)
Title: friendly error message on uncaught exception

@cos please review