diff options
| author | Tim Hutt <timothy.hutt@codasip.com> | 2023-08-11 16:00:51 +0100 |
|---|---|---|
| committer | Bill McSpadden <bill@riscv.org> | 2023-09-12 15:50:00 -0500 |
| commit | 4c77f62622c199f14e0bd6cdc6a6c427fe31b09e (patch) | |
| tree | af586e957a2c4e37cba06761960fc492aa220cd9 /model/prelude.sail | |
| parent | e2e942c1e56ceea17a6a732a88391cc9b1276d0c (diff) | |
| download | sail-riscv-4c77f62622c199f14e0bd6cdc6a6c427fe31b09e.zip sail-riscv-4c77f62622c199f14e0bd6cdc6a6c427fe31b09e.tar.gz sail-riscv-4c77f62622c199f14e0bd6cdc6a6c427fe31b09e.tar.bz2 | |
Remove effects
Since Sail 0.15 (released Nov 2022), effects have had no effect. They now generate a deprecation warning. This commit removes all the effect annotations from the model, thus fixing the compiler warnings.
Diffstat (limited to 'model/prelude.sail')
| -rw-r--r-- | model/prelude.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/model/prelude.sail b/model/prelude.sail index e51bca2..bec76d6 100644 --- a/model/prelude.sail +++ b/model/prelude.sail @@ -87,7 +87,7 @@ val eq_anything = {ocaml: "(fun (x, y) -> x = y)", interpreter: "eq_anything", l overload operator == = {eq_string, eq_anything} -val "reg_deref" : forall ('a : Type). register('a) -> 'a effect {rreg} +val "reg_deref" : forall ('a : Type). register('a) -> 'a /* sneaky deref with no effect necessary for bitfield writes */ val _reg_deref = "reg_deref" : forall ('a : Type). register('a) -> 'a |