diff options
| author | Brian Campbell | 2018-01-29 16:55:33 +0000 |
|---|---|---|
| committer | Brian Campbell | 2018-01-29 16:55:45 +0000 |
| commit | b62d7ea2b81b5fe4428b69cc1571703c76b98d27 (patch) | |
| tree | 89f031bea4321d481994147e41b7f48cee6656df /lib | |
| parent | a651314bd9fcbe04e7d1274fcf7289e42d31df83 (diff) | |
Sync mono rewrites definitions with library
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/mono_rewrites.sail | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/lib/mono_rewrites.sail b/lib/mono_rewrites.sail index a69dc379..650fdf53 100644 --- a/lib/mono_rewrites.sail +++ b/lib/mono_rewrites.sail @@ -4,25 +4,25 @@ infix 6 << -val "shiftleft" : forall 'n ('ord : Order). +val shiftleft = "shiftl" : forall 'n ('ord : Order). (vector('n, 'ord, bit), int) -> vector('n, 'ord, bit) effect pure overload operator << = {shiftleft} infix 6 >> -val "shiftright" : forall 'n ('ord : Order). +val shiftright = "shiftr" : forall 'n ('ord : Order). (vector('n, 'ord, bit), int) -> vector('n, 'ord, bit) effect pure overload operator >> = {shiftright} -val "extz" : forall 'n 'm. (atom('m),vector('n, dec, bit)) -> vector('m, dec, bit) effect pure +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(sizeof('m),v) +function extzv(v) = extz_vec(sizeof('m),v) -val "exts" : forall 'n 'm. (atom('m),vector('n, dec, bit)) -> vector('m, dec, bit) effect pure +val "exts_vec" : forall 'n 'm. (atom('m),vector('n, dec, bit)) -> vector('m, dec, bit) effect pure val extsv : forall 'n 'm. vector('n, dec, bit) -> vector('m, dec, bit) effect pure -function extsv(v) = exts(sizeof('m),v) +function extsv(v) = exts_vec(sizeof('m),v) /* Definitions for the rewrites */ |