-- | Settings used by the code generator to customize the code. module Copilot.Compile.C99.Settings ( CSettings(..) , mkDefaultCSettings ) where -- | Settings used to customize the code generated. data CSettings = CSettings { CSettings -> String cSettingsStepFunctionName :: String , CSettings -> String cSettingsOutputDirectory :: FilePath } -- | Default settings with a step function called @step@. mkDefaultCSettings :: CSettings mkDefaultCSettings :: CSettings mkDefaultCSettings = String -> String -> CSettings CSettings String "step" String "."