testsuite/compiler/check/lins/linsCnc.gf


1
2
3
4
5
6
7
8
9
10
11

concrete linsCnc of lins = {

lincat Nat =  {} ;

-- we expect warnings because the lines bellow are commented out
-- we don't expect warning for zero because Nat = {}

-- lincat C = {s : Str} ;
-- lin test = {s = "test"} ;

}