~sircmpwn/hare-specification unlisted

d7d43df9e69eee5fcc855b961e2ae7f4c215fd9e — Bor Grošelj Simić a month ago 4e95821
refer to value sizes as type sizes

Signed-off-by: Bor Grošelj Simić <bor.groseljsimic@telemach.net>
1 files changed, 4 insertions(+), 4 deletions(-)

M language/types.tex
M language/types.tex => language/types.tex +4 -4
@@ 458,12 458,12 @@ alignment requirements.
\specsubsubitem
The offset of each value is equal to the minimum \textit{aligned} offset which
would meet the alignment requirements of the value's type and which is greater
than the offset of the previous value plus the size of the previous value. The
implementation shall add \textit{padding} to meet the alignment requirements of
tuple values.
than the offset of the previous value plus the size of the previous value type.
The implementation shall add \textit{padding} to meet the alignment
requirements of tuple values.

\specsubsubitem
The size of a tuple is the sum of the sizes of its values plus any necessary
The size of a tuple is the sum of the sizes of its value types plus any necessary
padding. The alignment is the maximum alignment among its value types.

\specsubsubitem