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

abstract B = {

cat S ;

fun f : S -> S 1 ;

}