diff options
Diffstat (limited to 'test/mono/castrequnion.sail')
| -rw-r--r-- | test/mono/castrequnion.sail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/mono/castrequnion.sail b/test/mono/castrequnion.sail index 4729fb11..1eefb2ad 100644 --- a/test/mono/castrequnion.sail +++ b/test/mono/castrequnion.sail @@ -4,9 +4,9 @@ $include <prelude.sail> val bitvector_cast_in = "zeroExtend" : forall 'n. bits('n) -> bits('n) effect pure val bitvector_cast_out = "zeroExtend" : forall 'n. bits('n) -> bits('n) effect pure -val foo : forall 'm 'n, 'm in {8,16} & 'n in {16,32,64}. bits('m) -> option(bits('n)) effect pure +val foo : forall 'm 'n, 'm in {8,16} & 'n in {16,32,64}. (implicit('n), bits('m)) -> option(bits('n)) effect pure -function foo(x) = +function foo(n, x) = let y : bits(16) = sail_zero_extend(x,16) in match 'n { 16 => None(), |