about summary refs log tree commit diff
path: root/boot/tests/lower/shadowing_error.cskt
blob: b22dddf4b02e6c0c3aeaac9f85ac85b8e7d5aade (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
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")))