Skip to content

Commit

Permalink
get_local -> local.get (#27)
Browse files Browse the repository at this point in the history
  • Loading branch information
zapashcanon authored Sep 14, 2024
1 parent 97848ea commit 20a8e4f
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion proposals/annotations/Overview.md
Original file line number Diff line number Diff line change
Expand Up @@ -93,7 +93,7 @@ Expressing generic custom sections (cf. https://gist.github.com/binji/d1cfff7faa
Expressing names
```wasm
(module (@name "Gümüsü")
(func $lambda (@name "λ") (param $x (@name "α βγ δ") i32) (result i32) (get_local $x))
(func $lambda (@name "λ") (param $x (@name "α βγ δ") i32) (result i32) (local.get $x))
)
```

Expand Down

0 comments on commit 20a8e4f

Please sign in to comment.