From b6ebf06ae495b3443e49a491c30110c24a523c20 Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Wed, 12 Feb 2014 14:52:55 +0000
Subject: Fix type errors in power.sail

---
 src/test/power.sail | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/test/power.sail b/src/test/power.sail
index 2b73e361..9dffb7c0 100644
--- a/src/test/power.sail
+++ b/src/test/power.sail
@@ -1,6 +1,8 @@
 val extern ( nat * nat ) -> nat effect pure (deinfix + ) = "add"
 (* XXX type is wrong *)
-val extern ( bit * bit ) -> bit effect pure (deinfix : ) = "vec_concat"
+val extern forall Type 'a . ( 'a * 'a ) -> 'a effect pure (deinfix : ) = "vec_concat"
+
+val extern forall Type 'a . ( 'a * 'a ) -> bit effect pure (deinfix != ) = "neq"
 
 val extern forall Type 'a . ( 'a * 'a ) -> bool effect pure (deinfix != ) = "neq"
 
@@ -16,6 +18,11 @@ function forall Type 'a . 'a exts ( x ) = x
 register (bit[32]) NIA (* next instruction address *)
 register (bit[32]) CIA (* current instruction address *)
 
+(* XXX check me *)
+register (bit[32]) CR
+register (bit[32]) CTR
+register (bit[32]) LR
+
 register bool mode64bit
 
 scattered function unit execute
-- 
cgit v1.2.3