diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/typecheck/pass/decode_patterns.sail | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/test/typecheck/pass/decode_patterns.sail b/test/typecheck/pass/decode_patterns.sail index 486634b8..d8b17f5b 100644 --- a/test/typecheck/pass/decode_patterns.sail +++ b/test/typecheck/pass/decode_patterns.sail @@ -11,6 +11,9 @@ overload operator == = {eq_anything} val vector_subrange = {ocaml: "subrange", lem: "subrange_vec_dec"} : forall ('n : Int) ('m : Int) ('o : Int), 'o <= 'm <= 'n. (bits('n), atom('m), atom('o)) -> bits('m - ('o - 1)) +val vector_access = {ocaml: "access", lem: "access_vec_dec"} : forall ('n : Int) ('m : Int), 0 <= 'm < 'n. + (bits('n), atom('m)) -> bit + val decode : vector(16, dec, bit) -> unit scattered function decode |