From 002df035df284a8a3f0dc1c724d8ae156c78332c Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Thu, 13 Feb 2014 17:22:55 +0000
Subject: Add definition of ignore to make tests executable

---
 src/test/test1.sail | 2 ++
 src/test/test3.sail | 2 ++
 2 files changed, 4 insertions(+)

(limited to 'src')

diff --git a/src/test/test1.sail b/src/test/test1.sail
index da9e43fb..34210f97 100644
--- a/src/test/test1.sail
+++ b/src/test/test1.sail
@@ -13,6 +13,8 @@ let bool e = true
 let bit v = bitzero
 let ( bit [ 32 ] ) v1 = 0b101
 
+function unit ignore(x) = ()
+
 (* scattered function definition and union definition *)
 scattered typedef ast = const union
 scattered function ast f
diff --git a/src/test/test3.sail b/src/test/test3.sail
index e4844204..154ce5b6 100644
--- a/src/test/test3.sail
+++ b/src/test/test3.sail
@@ -6,6 +6,8 @@ val  nat -> nat effect { wmem , rmem }  MEM
 val  nat -> nat effect { wmem , rmem }  MEM_GPU
 val ( nat * nat ) -> nat effect { wmem , rmem }  MEM_SIZE
 
+function unit ignore(x) = ()
+
 (* extern functions *)
 val extern ( nat * nat ) -> nat effect pure add = "add"
 val extern ( nat * nat ) -> nat effect pure (deinfix + ) = "add_infix"   (* infix plus *)
-- 
cgit v1.2.3