lampepfl/dotty — pull request #285 by odersky (2014-12-14 18:17:46+00:00)
Title: Fix/catch non fatal

Catch NonFatal(ex) instead of Throwable. The change exhibited the problem in #226 that UnApply was not handled. This is now also fixed. review by @olhotak

Closes #226