From 952250b6d79063aa1066b0e945d58360bd70d09f Mon Sep 17 00:00:00 2001 From: Mel Date: Wed, 6 May 2026 18:49:26 +0200 Subject: Lowering pass test harness, and initial pass test suite Signed-off-by: Mel --- boot/tests/lower/shadowing_error.cskt | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 boot/tests/lower/shadowing_error.cskt (limited to 'boot/tests/lower/shadowing_error.cskt') diff --git a/boot/tests/lower/shadowing_error.cskt b/boot/tests/lower/shadowing_error.cskt new file mode 100644 index 0000000..b22dddf --- /dev/null +++ b/boot/tests/lower/shadowing_error.cskt @@ -0,0 +1,29 @@ +declaring two locals with the same name in overlapping scopes is +a hard error. + +<<< + +main = fun () { + var x int = 1 + var x int = 2 +} + +>>> + +(unit + (types + (type 0 int primitive) + (type 1 uint primitive) + (type 2 bool primitive) + (type 3 string primitive) + (type 4 float primitive) + (type 5 byte primitive) + (type 6 ascii primitive) + (type 7 void primitive)) + (functions + (function 0 main main (returns (ref void)) (block + (declaration x (ref int) (initializer (expr 1))) + ))) + (emission_order 0 1 2 3 4 5 6 7) + (diagnostics + (error "name 'x' shadows an existing binding"))) -- cgit 1.4.1