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,,,,