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

abstract RecTypes = {

fun f : {s:Int} -> Int ;

}