054_shadowing_decl_return_less.xi « error « pracownia2 « tests - compiler_construction - Project for Compiler Construction course

summary refs log tree commit diff

path: root/tests/pracownia2/error/054_shadowing_decl_return_less.xi

blob: 992eb5a7e0f3920c0a1c6b4e742b90d6fdd506b1 (plain) (blame)

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

//@PRACOWNIA
//@should_not_typecheck