032_comp_gt_bool.xi « error « pracownia2 « tests - compiler_construction - Project for Compiler Construction course

summary refs log tree commit diff

path: root/tests/pracownia2/error/032_comp_gt_bool.xi

blob: 3600828bc54cb1512c854c883a7fc2e6bae72671 (plain) (blame)

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