Internal compiler error

[patrick-nicodemus]

I found that a small typo of accidentally omitting a polymorphic type annotation can crash the compiler.

module type abc = {
  type x 'a
  val y : x a
} 

Here there should be an 'a after y, but there should be a more graceful error handling.