From 981027b2e75d76e929ff457bc73a64bee5f1ba4f Mon Sep 17 00:00:00 2001
From: Ulf Norell <ulf.norell@gmail.com>
Date: Sat, 14 Sep 2019 12:12:55 +0200
Subject: [PATCH] Test case for function application source location

---
 test/aeso_compiler_tests.erl   | 9 ++++++++-
 test/contracts/type_errors.aes | 5 +++++
 2 files changed, 13 insertions(+), 1 deletion(-)

diff --git a/test/aeso_compiler_tests.erl b/test/aeso_compiler_tests.erl
index 802d129..5c4bed8 100644
--- a/test/aeso_compiler_tests.erl
+++ b/test/aeso_compiler_tests.erl
@@ -301,7 +301,14 @@ failing_contracts() ->
         <<?Pos(54, 5)
           "Let binding at line 54, column 5 must be followed by an expression">>,
         <<?Pos(58, 5)
-          "Let binding at line 58, column 5 must be followed by an expression">>])
+          "Let binding at line 58, column 5 must be followed by an expression">>,
+        <<?Pos(63, 5)
+          "Cannot unify int\n"
+          "         and bool\n"
+          "when checking the type of the expression at line 63, column 5\n"
+          "  id(n) : int\n"
+          "against the expected type\n"
+          "  bool">>])
     , ?TYPE_ERROR(init_type_error,
        [<<?Pos(7, 3)
           "Cannot unify string\n"
diff --git a/test/contracts/type_errors.aes b/test/contracts/type_errors.aes
index 7ea1281..3ce343d 100644
--- a/test/contracts/type_errors.aes
+++ b/test/contracts/type_errors.aes
@@ -57,3 +57,8 @@ contract Test =
     let f() = 0
     let g() = f()
 
+  function id(x : 'a) : 'a = x
+
+  entrypoint wrong_return(n : int) : bool =
+    id(n)
+