diff options
author | Tim Hutt <timothy.hutt@codasip.com> | 2024-03-06 10:52:53 +0000 |
---|---|---|
committer | Bill McSpadden <bill@riscv.org> | 2024-03-24 19:47:44 -0500 |
commit | df6eac371d270556012e46a0bb912e5dc51fad84 (patch) | |
tree | f77e7c9a0feac02f7348ca601f461737af2675f8 /model/prelude_mem_metadata.sail | |
parent | fd21acc266716d9bd04fc96d60fed375005d6888 (diff) | |
download | sail-riscv-df6eac371d270556012e46a0bb912e5dc51fad84.zip sail-riscv-df6eac371d270556012e46a0bb912e5dc51fad84.tar.gz sail-riscv-df6eac371d270556012e46a0bb912e5dc51fad84.tar.bz2 |
Replace atom with int
This is the newer, less confusing (and documented!) syntax. Fixes #425.
Diffstat (limited to 'model/prelude_mem_metadata.sail')
-rw-r--r-- | model/prelude_mem_metadata.sail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/model/prelude_mem_metadata.sail b/model/prelude_mem_metadata.sail index 640a5c5..b8dd81b 100644 --- a/model/prelude_mem_metadata.sail +++ b/model/prelude_mem_metadata.sail @@ -14,8 +14,8 @@ type mem_meta = unit let default_meta : mem_meta = () -val __WriteRAM_Meta : forall 'n. (xlenbits, atom('n), mem_meta) -> unit +val __WriteRAM_Meta : forall 'n. (xlenbits, int('n), mem_meta) -> unit function __WriteRAM_Meta(addr, width, meta) = () -val __ReadRAM_Meta : forall 'n. (xlenbits, atom('n)) -> mem_meta +val __ReadRAM_Meta : forall 'n. (xlenbits, int('n)) -> mem_meta function __ReadRAM_Meta(addr, width) = () |