id	summary	reporter	owner	description	type	status	priority	version	resolution	keywords	cc
27	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
}}}



"	defect	new	major