aboutsummaryrefslogtreecommitdiff
path: root/handwritten_support/0.11/mem_metadata.lem
diff options
context:
space:
mode:
authorAlasdair <alasdair.armstrong@cl.cam.ac.uk>2023-11-17 22:42:46 +0000
committerBill McSpadden <bill@riscv.org>2023-12-19 12:51:23 -0800
commit6beb7c242549cbcb20ab28969705d99922a33a97 (patch)
treecf3ffd958ba980edf2a2b7efcdbadcf5ad4531cc /handwritten_support/0.11/mem_metadata.lem
parent330e7063f891c6cd1e63e1def908c299fa7ff9e0 (diff)
downloadsail-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