diff options
author | Alasdair <alasdair.armstrong@cl.cam.ac.uk> | 2023-11-17 22:42:46 +0000 |
---|---|---|
committer | Bill McSpadden <bill@riscv.org> | 2023-12-19 12:51:23 -0800 |
commit | 6beb7c242549cbcb20ab28969705d99922a33a97 (patch) | |
tree | cf3ffd958ba980edf2a2b7efcdbadcf5ad4531cc /handwritten_support/0.11/mem_metadata.lem | |
parent | 330e7063f891c6cd1e63e1def908c299fa7ff9e0 (diff) | |
download | sail-riscv-6beb7c242549cbcb20ab28969705d99922a33a97.zip sail-riscv-6beb7c242549cbcb20ab28969705d99922a33a97.tar.gz sail-riscv-6beb7c242549cbcb20ab28969705d99922a33a97.tar.bz2 |
lem: Fix use of 'class' in riscv_insts_vext_utils
class is a reserved keyword in lem, so the use of class as a variable
name was causing issues. While ultimately this should be fixed in Sail
this can easily be worked around here.
Fortunately the code in questions was ultimately using a pattern like
let class = f(x);
let y = match class {
...
};
y
which can be simplified to
match f(x) {
...
}
removing the variable entirely, and making the code simpler so a
win-win overall!
Diffstat (limited to 'handwritten_support/0.11/mem_metadata.lem')
0 files changed, 0 insertions, 0 deletions