1 files changed, 38 insertions, 0 deletions
diff --git a/ecomp-c/tests/procedure_scoping.e b/ecomp-c/tests/procedure_scoping.e
new file mode 100644
index 0000000..31d1444
--- /dev/null
+++ b/ecomp-c/tests/procedure_scoping.e
@@ -0,0 +1,38 @@
+/*
+ * scopes in procedures
+ */
+
+module procedure_scoping;
+
+const
+	N : integer = 1;
+	M : integer = 3;
+
+var
+	x : integer := N;
+	y : array M of integer;
+	
+procedure A;
+const
+	N : integer = 2;
+
+var
+	x : array N of integer;
+	y : array M of integer;
+	z : integer;
+
+begin
+	x[N] := M;
+	z := 4;
+end
+
+procedure B;
+begin
+	x := N;
+end
+
+begin
+	y[0] := 7;
+	A;
+	B;
+end