From 22aff19aeea53719004cca2b5c6b25d0a7ed0835 Mon Sep 17 00:00:00 2001
From: Jon French
Date: Mon, 11 Jun 2018 16:28:07 +0100
Subject: actually fix exist_pattern test

---
 lib/vector_dec.sail                    | 2 +-
 test/typecheck/pass/exist_pattern.sail | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/lib/vector_dec.sail b/lib/vector_dec.sail
index d9b80b32..ad59f50e 100644
--- a/lib/vector_dec.sail
+++ b/lib/vector_dec.sail
@@ -5,7 +5,7 @@ $include <flow.sail>
 
 type bits ('n : Int) = vector('n, dec, bit)
 
-val "eq_bit" : (bit, bit) -> bool
+val eq_bit = { lem : "eq", _ : "eq_bit" } : (bit, bit) -> bool
 
 val eq_bits = {
   ocaml: "eq_list",
diff --git a/test/typecheck/pass/exist_pattern.sail b/test/typecheck/pass/exist_pattern.sail
index c701f12b..ac41114f 100644
--- a/test/typecheck/pass/exist_pattern.sail
+++ b/test/typecheck/pass/exist_pattern.sail
@@ -1,4 +1,4 @@
-default Order inc
+default Order dec
 
 $include <prelude.sail>
 
@@ -36,7 +36,7 @@ function main () = {
     32 => x = 128
   };
   match 0b010101 {
-    0b01 @ _ : vector(1, inc, bit) @ 0b101 => n = 42,
+    0b01 @ _ : vector(1, dec, bit) @ 0b101 => n = 42,
     _ => n = 0
   };
   n = 3;
-- 
cgit v1.2.3