scala/scala — pull request #635 by adriaanm (2012-05-28 09:25:10+00:00)
Title: fixes for exhaustivity

uncovered by @dragos while building the eclipse plugin