diff options
| -rw-r--r-- | lib/vector_dec.sail | 2 | ||||
| -rw-r--r-- | 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; |