009_shadowing_decl_return.xi « error « pracownia2 « tests - compiler_construction - Project for Compiler Construction course

summary refs log tree commit diff

path: root/tests/pracownia2/error/009_shadowing_decl_return.xi

blob: 66fe649627bd374dcec5d8cc60b49e2570b84641 (plain) (blame)

f(x:int)
f(x:int) : int

//@PRACOWNIA
//@should_not_typecheck