summaryrefslogblamecommitdiff
path: root/tests/pracownia2/error/067_comp_ge_boolA.xi
blob: 9e8fc527dad35293a13c53b3ca9d803deb10558b (plain) (tree)
1
2
3
4
5
6
7






                             
test(a:bool[], b:bool[]):bool
{
  return a >= b
}
//@PRACOWNIA
//@stop_after typechecker
//@should_not_typecheck