Ticket #28 (new defect)

Opened 6 years ago

Failure to detect dependent type errors

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

Description

The following grammar type-checks in GF, but should not:

abstract test = {
  cat Menu; Error; Action Menu;
  fun A : Error;
  fun f : Action A;
}

The type error is that Action is applied to an Error, but should only be applied to Menu's

Note: See TracTickets for help on using tickets.