From 2d8db5f4ce6dbec9e3ce53ceb8731de98c3ed195 Mon Sep 17 00:00:00 2001
From: Gaith Hallak <gaithhallak@gmail.com>
Date: Sun, 10 Oct 2021 20:08:39 +0300
Subject: [PATCH] Add test for non-boolean guards

---
 test/aeso_compiler_tests.erl                 | 3 +++
 test/contracts/non_boolean_pattern_guard.aes | 4 ++++
 2 files changed, 7 insertions(+)
 create mode 100644 test/contracts/non_boolean_pattern_guard.aes

diff --git a/test/aeso_compiler_tests.erl b/test/aeso_compiler_tests.erl
index 934441d..926268f 100644
--- a/test/aeso_compiler_tests.erl
+++ b/test/aeso_compiler_tests.erl
@@ -813,6 +813,9 @@ failing_contracts() ->
                   [<<?Pos(8,12)
                      "Cannot reference stateful function g (at line 8, column 12) in a pattern guard.">>
                   ])
+    , ?TYPE_ERROR(non_boolean_pattern_guard,
+                  [<<?Pos(4,24)
+                     "Cannot unify string\n         and bool\nwhen checking the type of the expression at line 4, column 24\n  \"y\" : string\nagainst the expected type\n  bool">>
                   ])
     ].
 
diff --git a/test/contracts/non_boolean_pattern_guard.aes b/test/contracts/non_boolean_pattern_guard.aes
new file mode 100644
index 0000000..72f7ca0
--- /dev/null
+++ b/test/contracts/non_boolean_pattern_guard.aes
@@ -0,0 +1,4 @@
+contract C =
+  type state = int
+
+  entrypoint init(x) | "y" = 1