107_variables_nested_scope_ifelse.xi « error « pracownia2 « tests - compiler_construction - Project for Compiler Construction course

summary refs log tree commit diff

path: root/tests/pracownia2/error/107_variables_nested_scope_ifelse.xi

blob: a7b0cb6b89c08ccaa5685dd2c34bb3c072443d2d (plain) (blame)

test()
{
    x:int
    if true {
    } else {
        x:bool
    } 
}
//@PRACOWNIA
//@should_not_typecheck