From 1fa93bf4bca6c5578f9f5d64e0951a8eb4d8c40e Mon Sep 17 00:00:00 2001
From: Shunsuke Shibayama <sbym1346@gmail.com>
Date: Mon, 19 Dec 2022 09:14:37 +0900
Subject: [PATCH] Add tests/should_err/callable.er

---
 tests/should_err/callable.er | 13 +++++++++++++
 tests/test.rs                |  5 +++++
 2 files changed, 18 insertions(+)
 create mode 100644 tests/should_err/callable.er

diff --git a/tests/should_err/callable.er b/tests/should_err/callable.er
new file mode 100644
index 00000000..de6a2fd0
--- /dev/null
+++ b/tests/should_err/callable.er
@@ -0,0 +1,13 @@
+print! 1 2 # ERR
+
+f = 1
+print! f 2 # ERR
+
+f2 x: Int = x
+print! f2(1) 2 # ERR
+
+f3 x = x
+print! f3(1) 2 # ERR
+
+f4 x = (y) => x
+print! f4(1) 2 # OK
diff --git a/tests/test.rs b/tests/test.rs
index 8e9f2e4b..391e4c83 100644
--- a/tests/test.rs
+++ b/tests/test.rs
@@ -204,3 +204,8 @@ fn exec_side_effect() -> Result<(), ()> {
 fn exec_subtyping() -> Result<(), ()> {
     expect_failure("tests/should_err/subtyping.er", 2)
 }
+
+#[test]
+fn exec_callable() -> Result<(), ()> {
+    expect_failure("tests/should_err/callable.er", 4)
+}