087_comp_ge_bool.xi « error « pracownia2 « tests - compiler_construction - Project for Compiler Construction course

summary refs log tree commit diff

path: root/tests/pracownia2/error/087_comp_ge_bool.xi

blob: ecf351fc0cb682bdb5a01a5399edabe881a08bbf (plain) (blame)

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