Failure to detect dependent type errors

[anonymous]

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