From 2dfe5eefb01eb81505e6295c3b0fe764bbf6f7cf Mon Sep 17 00:00:00 2001
From: Gaith Hallak <gaithhallak@gmail.com>
Date: Thu, 15 Dec 2022 14:32:51 +0300
Subject: [PATCH] Remove the test that fails on toplevel consts

---
 test/aeso_compiler_tests.erl    | 4 ----
 test/contracts/toplevel_let.aes | 3 ---
 2 files changed, 7 deletions(-)
 delete mode 100644 test/contracts/toplevel_let.aes

diff --git a/test/aeso_compiler_tests.erl b/test/aeso_compiler_tests.erl
index 9eb002d..b91d115 100644
--- a/test/aeso_compiler_tests.erl
+++ b/test/aeso_compiler_tests.erl
@@ -658,10 +658,6 @@ failing_contracts() ->
          [<<?Pos(5, 28)
             "Invalid call to contract entrypoint `Foo.foo`.\n"
             "It must be called as `c.foo` for some `c : Foo`.">>])
-    , ?TYPE_ERROR(toplevel_let,
-                  [<<?Pos(2, 7)
-                     "Toplevel \"let\" definitions are not supported. "
-                     "Value `this_is_illegal` could be replaced by 0-argument function.">>])
     , ?TYPE_ERROR(empty_typedecl,
                   [<<?Pos(2, 8)
                      "Empty type declarations are not supported. "
diff --git a/test/contracts/toplevel_let.aes b/test/contracts/toplevel_let.aes
deleted file mode 100644
index adca04c..0000000
--- a/test/contracts/toplevel_let.aes
+++ /dev/null
@@ -1,3 +0,0 @@
-contract C =
-  let this_is_illegal = 2/0
-  entrypoint this_is_legal() = 2/0
\ No newline at end of file