[[http://​code.google.com/​p/​scalacheck/​|ScalaCheck]] is interesting for (almost) toy-sized examples. It uses almost exclusively sealed classes for pattern matching, and all its (6) source files compile without any warning. So it could be interesting as an example to show that our verifications are at least as good as scalac'​s.

[[http://​code.google.com/​p/​scalacheck/​|ScalaCheck]] is interesting for (almost) toy-sized examples. It uses almost exclusively sealed classes for pattern matching, and all its (6) source files compile without any warning. So it could be interesting as an example to show that our verifications are at least as good as scalac'​s.