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 givenBitsinstances, but nothing else. I propose that we also defineFShowinstances 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-bluespectest suite itself.