015_function_missing_return_if.xi « error « pracownia2 « tests - compiler_construction - Project for Compiler Construction course

summary refs log tree commit diff

path: root/tests/pracownia2/error/015_function_missing_return_if.xi

blob: 403e9efe5f0486f4e68bc6fb85b1dd2db6332d8d (plain) (blame)

f(x:bool):int
{
    if (x) {
    }
}
//@PRACOWNIA
//@should_not_typecheck