Cheri-research/cheri-cap-lib
1
0
Fork 0
Code Issues 1 Pull Requests Actions Packages Projects Releases Wiki Activity

Comment about orphan instance for CapMem

Browse Source
This commit is contained in:
gameboo
2021-09-28 00:56:59 +01:00
parent 321409df6a
commit e55c65556a
1 changed files with 7 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
CHERICC_Fat.bsv
View File

@@ -945,7 +945,13 @@ function MetaInfo getMetaInfo (CapFat cap);
, baseCorrection : baseCorrection }; , baseCorrection : baseCorrection };
endfunction endfunction
typedef Bit#(TAdd#(1, CapW)) CapMem; // XXX TODO
// to avoid an orphan instance here, we should make CapMem a "newtype",
// basically:
// typedef struct {
// Bit #(TAdd #(1, CapW)) cap;
// } CapMem;
typedef Bit #(TAdd #(1, CapW)) CapMem;
typedef CapFat CapReg; typedef CapFat CapReg;