050_function_missing_return_if_return.xi « error « pracownia2 « tests - compiler_construction - Project for Compiler Construction course

summary refs log tree commit diff

path: root/tests/pracownia2/error/050_function_missing_return_if_return.xi

blob: a9094835467c4b7c01b0e55a2a81081db98a6c31 (plain) (blame)

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