Ticket #27 (new defect)

Opened 6 years ago

Error in type-checking dependent types

Reported by: PeterLjunglof Owned by:
Priority: major Version:
Keywords: Cc:

Description

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
Note: See TracTickets for help on using tickets.