gf-3.10: testsuite/compiler/check/lincat-types/Test.gf

abstract Test = {

cat S;

}