kframework/k — pull request #875 by radumereuta (2014-08-25 19:19:25+00:00)
Title: Safely borrowing SDF lexical syntax into the new parser.

@dwightguth please review.
Should be a small fix. Some regular expressions from SDF are not supported by Java, throwing an exception even though the user doesn't care about that. In that case, just give a silent warning, and the definition would still kompile safely.