We may want to consider other options to add here. For example, do we want Bluespec equivalents of copilot-c99's cSettingsStepFunctionName? There are several function names that copilot-bluespec generates, and it might make sense to allow users to be able to change them.
Currently,
BluespecSettings
only has a single option that can be configured:https://github.com/Copilot-Language/copilot-bluespec/blob/9d83645f94d1ff89da3894abe64c58b086fc94f0/src/Copilot/Compile/Bluespec/Settings.hs#L7-L10
We may want to consider other options to add here. For example, do we want Bluespec equivalents of
copilot-c99
'scSettingsStepFunctionName
? There are several function names thatcopilot-bluespec
generates, and it might make sense to allow users to be able to change them.