Commit 8e74b6d0 authored by Tony Hosking's avatar Tony Hosking

Fix tagref type description

parent 6f1896f4
...@@ -614,8 +614,9 @@ Tagged Reference ...@@ -614,8 +614,9 @@ Tagged Reference
``tagref64`` ``tagref64``
``tagref64`` is a union type of ``double``, ``int<52>`` and ``struct<ref<void> ``tagref64`` is a union type of ``double``, ``int<52>`` and
int<6>``. It occupies 64 bits. A ``tagref64`` value holds both a state which ``struct<ref<void> int<6>>``.
It occupies 64 bits. A ``tagref64`` value holds both a state which
identifies the type it is currently representing and a value of that type. identifies the type it is currently representing and a value of that type.
......
  • I would have said tag rather than state, since this is a value, not a stateful thing. Cheers - E

Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment