Fix type errors in power.sail

1 files changed, 8 insertions, 1 deletions

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