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

abstract Test = {

cat S;

}