diff options
| author | Alasdair Armstrong | 2018-09-12 18:28:47 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-09-12 18:30:27 +0100 |
| commit | 3bbda62cb341cc7277fc8c70685ad7d9313e2412 (patch) | |
| tree | 6f88643f655adbf588801a4d2030b8d13b43d081 /test | |
| parent | 4d7e17a8c7b6a1c6b3cb4f020f9aafcf96c6e6b7 (diff) | |
Jenkins: Fix deprecation warnings
Now that Jenkins is updated to a newer version of OCaml we can finally
fix some warning with more recent versions of OCaml than 4.02.3. Also
fix a Lem test case that was failing.
Diffstat (limited to 'test')
| -rw-r--r-- | test/typecheck/pass/decode_patterns.sail | 14 |
1 files changed, 1 insertions, 13 deletions
diff --git a/test/typecheck/pass/decode_patterns.sail b/test/typecheck/pass/decode_patterns.sail index d8b17f5b..d54e9416 100644 --- a/test/typecheck/pass/decode_patterns.sail +++ b/test/typecheck/pass/decode_patterns.sail @@ -1,18 +1,6 @@ -$include <flow.sail> - default Order dec -type bits ('n : Int) = vector('n, dec, bit) - -val eq_anything = "eq" : forall ('a : Type). ('a, 'a) -> bool - -overload operator == = {eq_anything} - -val vector_subrange = {ocaml: "subrange", lem: "subrange_vec_dec"} : forall ('n : Int) ('m : Int) ('o : Int), 'o <= 'm <= 'n. - (bits('n), atom('m), atom('o)) -> bits('m - ('o - 1)) - -val vector_access = {ocaml: "access", lem: "access_vec_dec"} : forall ('n : Int) ('m : Int), 0 <= 'm < 'n. - (bits('n), atom('m)) -> bit +$include <prelude.sail> val decode : vector(16, dec, bit) -> unit |