082_function_missing_return_while_return.xi « error « pracownia2 « tests - compiler_construction - Project for Compiler Construction course

summary refs log tree commit diff

path: root/tests/pracownia2/error/082_function_missing_return_while_return.xi

blob: b7dd9726573fd76912e3b07993916b3afadc3337 (plain) (blame)

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