Skip to content

Commit

Permalink
feature: generate @let code after @requires code
Browse files Browse the repository at this point in the history
  • Loading branch information
chavacava committed Jan 2, 2025
1 parent 6ca1dfe commit ab8d7eb
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions internal/contract/generator/generator.go
Original file line number Diff line number Diff line change
Expand Up @@ -270,13 +270,13 @@ func (fa fileAnalyzer) generateCode(c *contract.FuncContract) (stmts []string, e
result := []string{}
errs = []error{}

for _, let := range c.Lets() {
stmt := fa.generateLetCode(let)
for _, r := range c.Requires() {
stmt := fa.generateRequiresCode(r, "")
result = append(result, stmt)
}

for _, r := range c.Requires() {
stmt := fa.generateRequiresCode(r, "")
for _, let := range c.Lets() {
stmt := fa.generateLetCode(let)
result = append(result, stmt)
}

Expand Down

0 comments on commit ab8d7eb

Please sign in to comment.