Skip to content

Protocol: Extract the Gas_monad into a separate module.

Sventimir requested to merge nomadic-labs/tezos:sventimir/extract-gas-monad into master

Context

Following !2359 (merged), the Gas_monad defined in Script_ir_translator is exposed to the outside of the module. Also it does not depend on anything within that module. Since Script_ir_translator is already huge and we're actually trying to pull as much stuff out of it as possible (#1374), it's better to extract the Gas_monad too.

Checklist

  • Select suitable reviewers using the Reviewers field below.
  • Select as Assignee the next person who should take action on that MR
Edited by Sventimir

Merge request reports