Currently, copilot-bluespec–generated structs are given Bits instances, but nothing else. I propose that we also define FShow instances as well. These are very useful for printing out values in Bluespec applications, and we would be able to make use of these instances in the copilot-bluespec test suite itself.
Currently,
copilot-bluespec
–generated structs are givenBits
instances, but nothing else. I propose that we also defineFShow
instances as well. These are very useful for printing out values in Bluespec applications, and we would be able to make use of these instances in thecopilot-bluespec
test suite itself.