summaryrefslogblamecommitdiff
path: root/tests/pracownia2/error/117_comp_le_boolA.xi
blob: c55d624dead21644d2f874e829825ce62a8361b5 (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