File tree Expand file tree Collapse file tree
plutus-core/cost-model/create-cost-model Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1+ {-# LANGUAGE OverloadedStrings #-}
2+
13module Main where
24
35import CreateBuiltinCostModel (createBuiltinCostModel )
@@ -168,16 +170,16 @@ generateCostModelHaskellModule modelName model = (modulePath, moduleCode)
168170 modulePath = " plutus-core/src/PlutusCore/Evaluation/Machine/CostModel/Generated/" <> T. unpack moduleName <> " .hs"
169171 moduleCode =
170172 T. unlines
171- [ T. pack " -- This file is auto-generated by the generate-cost-model executable."
172- , T. pack " -- Do not edit this file manually."
173- , T. pack " {-# LANGUAGE RecordWildCards #-}"
174- , T. pack " {-# OPTIONS_GHC -Wno-missing-signatures #-}"
175- , T. pack " "
176- , T. pack " module PlutusCore.Evaluation.Machine.CostModel.Generated." <> moduleName <> T. pack " (" <> modelExportName <> T. pack " ) where"
177- , T. pack " "
178- , T. pack " import Data.Aeson"
179- , T. pack " "
180- , modelExportName <> T. pack " = " <> T. pack (show model)
173+ [ " -- This file is auto-generated by the generate-cost-model executable."
174+ , " -- Do not edit this file manually."
175+ , " {-# LANGUAGE RecordWildCards #-}"
176+ , " {-# OPTIONS_GHC -Wno-missing-signatures #-}"
177+ , " "
178+ , " module PlutusCore.Evaluation.Machine.CostModel.Generated." <> moduleName <> " (" <> modelExportName <> " ) where"
179+ , " "
180+ , " import Data.Aeson"
181+ , " "
182+ , modelExportName <> " = " <> T. pack (show model)
181183 ]
182184
183185main :: IO ()
You can’t perform that action at this time.
0 commit comments