From 607d63750a39be92c097cbc202faf0daf9c8db53 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Fri, 7 Feb 2014 18:49:43 +0000
Subject: type checking switch/case expressions

---
 src/test/pattern.sail | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/test')

diff --git a/src/test/pattern.sail b/src/test/pattern.sail
index e8fc1705..9a71d0e3 100644
--- a/src/test/pattern.sail
+++ b/src/test/pattern.sail
@@ -3,16 +3,16 @@ register nat n
 register nat x
 register nat y
 
-function unit main _ = {
+function nat main _ = {
 
   (* works - x and y are set to 42 *)
   n := 1;
   y :=
-  (switch n {
+  ignore((switch n {
     case 0 -> { x := 21; x }
     case 1 -> { x := 42; x } 
     case x -> { x := 99; x }
-  }); 
+  })); 
 
   (* doesn't work - main returns 1 instead of 99 *)
   n := 3;
-- 
cgit v1.2.3