Skip to content

Commit

Permalink
Merge pull request #545 from TyOverby/patch-1
Browse files Browse the repository at this point in the history
Fixup out of date reference to rtt.get
  • Loading branch information
rossberg committed Jun 3, 2024
2 parents 9d2d677 + f561006 commit 871b01d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion proposals/gc/Overview.md
Original file line number Diff line number Diff line change
Expand Up @@ -729,7 +729,7 @@ This instruction checks whether the runtime type stored in `<operand>` is a runt

In order to cast down the type of a struct or array, the aggregate itself must be equipped with a suitable RTT. Attaching runtime type information to aggregates happens at allocation time.
A runtime type is an expression of type `rtt <type>`, which is another form of opaque value type. It represents the static type `<type>` at runtime.
In its plain form, a runtime type is obtained using the instruction `rtt.get`
In its plain form, a runtime type is obtained using the instruction `rtt.canon`
```
(rtt.canon <type>)
```
Expand Down

0 comments on commit 871b01d

Please sign in to comment.