Correct environment for Template Compiler

ScorexFoundation / sigmastate-interpreter

ErgoScript compiler and ErgoTree Interpreter implementation for Ergo blockchain

MIT License

62 stars 40 forks source link

Correct environment for Template Compiler #977

Closed aslesarenko closed 3 months ago

aslesarenko commented 4 months ago

Closes #966 In this PR:

fixed parsing of ContractParam
default parameter values used to create environment for Compiler
default parameter values are merged with explicitly provided to applyTemplate
more tests for SigmaTemplateCompiler
added ErgoTreeUtils.explainTreeHeader
tests for ContractTemplate.applyTemplate method

Luivatra commented 4 months ago

By adding the parameters in the template compile step wont this end up with an ergotree with no ConstantPlaceholders for the parameters? I don't think the SigmaTemplateCompiler can differentiate between normal constants and parameter values.