From e2de9237cfeff7141dcf4e4ab77ae7387b330b6c Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Tue, 15 Oct 2013 15:12:23 +0100
Subject: Test for value-returning blocks

---
 src/test/test2.sail | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/test')

diff --git a/src/test/test2.sail b/src/test/test2.sail
index be106584..24d82655 100644
--- a/src/test/test2.sail
+++ b/src/test/test2.sail
@@ -1,3 +1,5 @@
 function nat id ( n ) = n
 
-function nat main _ = id(42)
+function nat main _ = {
+  id(42);
+}
-- 
cgit v1.2.3