063_comp_lt_bool.xi « error « pracownia2 « tests - compiler_construction - Project for Compiler Construction course

summary refs log tree commit diff

path: root/tests/pracownia2/error/063_comp_lt_bool.xi

blob: d4d45f18fd19b557fb23d044903c6931573dc402 (plain) (blame)

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