diff options
Diffstat (limited to 'test/mono/control_deps.sail')
| -rw-r--r-- | test/mono/control_deps.sail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/mono/control_deps.sail b/test/mono/control_deps.sail index dd3bba65..e97dc0fa 100644 --- a/test/mono/control_deps.sail +++ b/test/mono/control_deps.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 extz : forall 'n 'm. vector('n, dec, bit) -> vector('m, dec, bit) effect pure -function extz(v) = extz_vec(sizeof('m),v) +val extz : forall 'n 'm. (implicit('m), vector('n, dec, bit)) -> vector('m, dec, bit) effect pure +function extz(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} |