diff options
Diffstat (limited to 'test/mono/set.sail')
| -rw-r--r-- | test/mono/set.sail | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/test/mono/set.sail b/test/mono/set.sail index 4b97aeef..770b5bf1 100644 --- a/test/mono/set.sail +++ b/test/mono/set.sail @@ -1,10 +1,10 @@ default Order dec $include <prelude.sail> -val "extz_vec" : forall 'n 'm. (atom('m),vector('n, dec, bit)) -> vector('m, dec, bit) effect pure -val extz : forall 'n 'm. (implicit('m), vector('n, dec, bit)) -> vector('m, dec, bit) effect pure +val "extz_vec" : forall 'n 'm. (atom('m),bitvector('n, dec)) -> bitvector('m, dec) effect pure +val extz : forall 'n 'm. (implicit('m), bitvector('n, dec)) -> bitvector('m, dec) effect pure function extz(m,v) = extz_vec(m,v) -val "exts_vec" : forall 'n 'm. (atom('m),vector('n, dec, bit)) -> vector('m, dec, bit) effect pure -val exts : forall 'n 'm. (implicit('m), vector('n, dec, bit)) -> vector('m, dec, bit) effect pure +val "exts_vec" : forall 'n 'm. (atom('m),bitvector('n, dec)) -> bitvector('m, dec) effect pure +val exts : forall 'n 'm. (implicit('m), bitvector('n, dec)) -> bitvector('m, dec) effect pure function exts(m,v) = exts_vec(m,v) /* A function which is merely parametrised by a size does not need to be |