From 96e26a82d4491ae11ea18a9c3ff96b6043869d5d Mon Sep 17 00:00:00 2001
From: Joachim Breitner <mail@joachim-breitner.de>
Date: Tue, 5 Feb 2019 10:17:46 +0100
Subject: [PATCH] Add blocks to the testcase for #103

so that we see all error messages, and not just the first.
---
 test/fail/issue103.as       | 24 ++++++++++++++++--------
 test/fail/ok/issue103.tc.ok |  4 +++-
 2 files changed, 19 insertions(+), 9 deletions(-)

diff --git a/test/fail/issue103.as b/test/fail/issue103.as
index 0e3f23522cc..2b60aa7d48c 100644
--- a/test/fail/issue103.as
+++ b/test/fail/issue103.as
@@ -1,19 +1,27 @@
 // A (non-shared) function is not sharable
-func invalid1 (f : shared (() -> Nat) -> ()) {
-   f (func foo() : Nat = 1)
+{
+  func invalid1 (f : shared (() -> Nat) -> ()) {
+     f (func foo() : Nat = 1)
+  };
 };
 
 // An object with function fields is not sharable
-func invalid2 (f : shared {foo : () -> Nat} -> ()) {
-   f (new { foo() : Nat = 1; })
+{
+  func invalid2 (f : shared {foo : () -> Nat} -> ()) {
+     f (new { foo() : Nat = 1; })
+  };
 };
 
 // Cannot return a function in an async
-func invalid3 () : (async (() -> Nat)) {
-   async { func foo() : Nat = 1 }
+{
+  func invalid3 () : (async (() -> Nat)) {
+     async { func foo() : Nat = 1 }
+  };
 };
 
 // Cannot return an object with function fields in an async
-func invalid4 () : (async ({foo : () -> Nat})) {
-   async { new { foo() : Nat = 1; } }
+{
+  func invalid4 () : (async ({foo : () -> Nat})) {
+     async { new { foo() : Nat = 1; } }
+  };
 };
diff --git a/test/fail/ok/issue103.tc.ok b/test/fail/ok/issue103.tc.ok
index e01110ef026..1740e3ce0e3 100644
--- a/test/fail/ok/issue103.tc.ok
+++ b/test/fail/ok/issue103.tc.ok
@@ -1,2 +1,4 @@
-issue103.as:2.27-2.38: type error, shared function has non-shared parameter type
+issue103.as:3.29-3.40: type error, shared function has non-shared parameter type
+  () -> Nat
+issue103.as:17.29-17.40: type error, async type has non-shared parameter type
   () -> Nat