Error in type-checking dependent types

[PeterLjunglof]

The following grammar is type-incorrect, since Issue isn't applied to two arguments:

abstract test = {
	cat Menu; ICM; Sort; Issue Sort Menu;
	fun reraise : (m:Menu) -> Issue m -> ICM;
}

But, the typechecker bails out instead of reporting the error:

> i test.gf
- compiling /Users/peb/Projekt/TRIK/Trikky/test.gf... GF/Grammar/MMacros.hs:(177,18)-(187,34): Non-exhaustive patterns in case