diff options
Diffstat (limited to 'test/mono/times8.sail')
| -rw-r--r-- | test/mono/times8.sail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/mono/times8.sail b/test/mono/times8.sail index 56b1d209..be672446 100644 --- a/test/mono/times8.sail +++ b/test/mono/times8.sail @@ -10,8 +10,8 @@ overload operator * = {mult_range, mult_int, mult_real} val replicate_bits = "replicate_bits" : forall 'n 'm. (bits('n), atom('m)) -> bits('n * 'm) overload operator < = {lt_atom, lt_int} val "extz_vec" : forall 'n 'm. (atom('m),vector('n, dec, bit)) -> vector('m, dec, bit) effect pure -val extzv : forall 'n 'm. vector('n, dec, bit) -> vector('m, dec, bit) effect pure -function extzv(v) = extz_vec(sizeof('m),v) +val extzv : forall 'n 'm. (implicit('m), vector('n, dec, bit)) -> vector('m, dec, bit) effect pure +function extzv(m,v) = extz_vec(m,v) val bitvector_concat = {ocaml: "append", lem: "concat_vec", c: "append"} : forall ('n : Int) ('m : Int). (bits('n), bits('m)) -> bits('n + 'm) overload append = {bitvector_concat} |