A.gf « restricted-inheritance « check « compiler « testsuite - gf-core.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/testsuite/compiler/check/restricted-inheritance/A.gf

blob: 4e8e7780b6402284bea2eee9f089b540a9696a70 (plain)

abstract A = {

cat A1; A2 ;
fun f1 : A1 ;
    f2 : A1 ;
    g  : A2 ;

}