From 48f87c7cc759d00f95319e7708e1a35db9ad2a59 Mon Sep 17 00:00:00 2001
From: Gaith Hallak <gaithhallak@gmail.com>
Date: Sat, 7 Jan 2023 23:56:11 +0300
Subject: [PATCH] Add tests

---
 test/aeso_compiler_tests.erl       | 10 ++++++++++
 test/contracts/hole_expression.aes | 13 +++++++++++++
 2 files changed, 23 insertions(+)
 create mode 100644 test/contracts/hole_expression.aes

diff --git a/test/aeso_compiler_tests.erl b/test/aeso_compiler_tests.erl
index 1c724a5..e070fd7 100644
--- a/test/aeso_compiler_tests.erl
+++ b/test/aeso_compiler_tests.erl
@@ -1182,6 +1182,16 @@ failing_contracts() ->
     , ?TYPE_ERROR(using_contract_as_namespace,
                   [<<?Pos(5,3)
                      "Cannot use undefined namespace F">>])
+    , ?TYPE_ERROR(hole_expression,
+                  [<<?Pos(5,13)
+                     "Found a hole of type `bool`">>,
+                   <<?Pos(6,17)
+                     "Found a hole of type `string`">>,
+                   <<?Pos(9,37)
+                     "Found a hole of type `(int) => int`">>,
+                   <<?Pos(13,20)
+                     "Found a hole of type `'a`">>
+                  ])
     ].
 
 validation_test_() ->
diff --git a/test/contracts/hole_expression.aes b/test/contracts/hole_expression.aes
new file mode 100644
index 0000000..d1e26d1
--- /dev/null
+++ b/test/contracts/hole_expression.aes
@@ -0,0 +1,13 @@
+include "List.aes"
+
+contract C =
+    entrypoint f() =
+        let ??? = true
+        let v = ???
+        let q = v == "str"
+        let xs = [1, 2, 3, 4]
+        switch (List.first(List.map(???, xs)))
+            Some(x) => x + 1
+            None    => 0
+
+    function g() = ???
\ No newline at end of file