From 28b26ea4cc1ef8077a2d729d4a1756ad697c2ab0 Mon Sep 17 00:00:00 2001
From: Gaith Hallak <gaithhallak@gmail.com>
Date: Fri, 16 Dec 2022 18:32:35 +0300
Subject: [PATCH] Add test for warning on const shadowing

---
 test/aeso_compiler_tests.erl | 8 ++++++--
 test/contracts/warnings.aes  | 7 +++++++
 2 files changed, 13 insertions(+), 2 deletions(-)

diff --git a/test/aeso_compiler_tests.erl b/test/aeso_compiler_tests.erl
index fdb878e..ceb8048 100644
--- a/test/aeso_compiler_tests.erl
+++ b/test/aeso_compiler_tests.erl
@@ -287,7 +287,9 @@ warnings() ->
       <<?PosW(48, 5)
         "Unused return value.">>,
       <<?PosW(60, 5)
-        "The function `dec` is defined but never used.">>
+        "The function `dec` is defined but never used.">>,
+      <<?PosW(73, 9)
+        "The definition of `const` shadows an older definition at line 70, column 3.">>
      ]).
 
 failing_contracts() ->
@@ -856,7 +858,9 @@ failing_contracts() ->
                    <<?Pos(48, 5)
                      "Unused return value.">>,
                    <<?Pos(60, 5)
-                     "The function `dec` is defined but never used.">>
+                     "The function `dec` is defined but never used.">>,
+                   <<?Pos(73, 9)
+                     "The definition of `const` shadows an older definition at line 70, column 3.">>
                   ])
     , ?TYPE_ERROR(polymorphism_contract_interface_recursive,
                   [<<?Pos(1,24)
diff --git a/test/contracts/warnings.aes b/test/contracts/warnings.aes
index 580d1d7..03fc85a 100644
--- a/test/contracts/warnings.aes
+++ b/test/contracts/warnings.aes
@@ -65,3 +65,10 @@ contract Remote =
 contract C = 
   payable stateful entrypoint
     call_missing_con() : int = (ct_1111111111111111111111111111112JF6Dz72 : Remote).id(value = 1, 0)
+
+namespace ShadowingConst =
+  let const = 1
+
+  function f() =
+    let const = 2
+    const