You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
--| Settings used to customize the code generated.
newtypeBluespecSettings=BluespecSettings
{bluespecSettingsOutputDirectory::FilePath
}
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.
The text was updated successfully, but these errors were encountered:
Currently,
BluespecSettings
only has a single option that can be configured:copilot-bluespec/src/Copilot/Compile/Bluespec/Settings.hs
Lines 7 to 10 in 9d83645
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.The text was updated successfully, but these errors were encountered: