id,summary,reporter,owner,description,type,status,priority,version,resolution,keywords,cc
28,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",defect,new,major,,,,