gf-3.10: testsuite/compiler/typecheck/abstract/B.gf

abstract B = {

cat S ;

fun f : S -> S 1 ;

}