~sircmpwn/hare-specification unlisted

Specify struct field evaluation order

Signed-off-by: Eyal Sawady <ecs@d2evs.net>
Fix integer representation

Two's complement (not compliment) doesn't have a sign bit.

Signed-off-by: Eyal Sawady <ecs@d2evs.net>
Allow any pointer to promote to *void
specifying sign of floating-point exponent

Signed-off-by: Sudipto Mallick <smlckz@disroot.org>
Specify that error types are a prefix
Specify flexible rune constants

Signed-off-by: Eyal Sawady <ecs@d2evs.net>
refer to value sizes as type sizes

Signed-off-by: Bor Grošelj Simić <bor.groseljsimic@telemach.net>
forbid zero sized subvalues in structs, unions, tuples

Signed-off-by: Bor Grošelj Simić <bor.groseljsimic@telemach.net>
specify &&=, ||= and ^^= operators

Signed-off-by: Bor Grošelj Simić <bor.groseljsimic@telemach.net>
Clarify slicing with undefined length array

Signed-off-by: Drew DeVault <sir@cmpwn.com>
Revert "Update match syntax"

This reverts commit 2332c6d96c47372ad94cdc795dc02bc202c76f82.

Signed-off-by: Eyal Sawady <ecs@d2evs.net>
Fix capacity of slice expression result

Signed-off-by: Drew DeVault <sir@cmpwn.com>
Casts & type assertions: provide type hint
error propagation: specify ! operator

Signed-off-by: Drew DeVault <sir@cmpwn.com>
expressions: Specify that signedness matter for ">>"

This expands the definition of the right-shift operator (>>) to specify
that signedness of the shift-expression is taken into account.

Signed-off-by: Thomas Bracht Laumann Jespersen <t@laumann.xyz>
Clarify slice insertion location

Signed-off-by: Drew DeVault <sir@cmpwn.com>
Define slice insertion

Signed-off By: Drew DeVault <sir@cmpwn.com>
slice-mutation-expression: specify static forms

Signed-off By: Drew DeVault <sir@cmpwn.com>
Split slice mutation from allocation

This makes the spec a bit simpler. The grammatical relationship between
these nonterminals is unchanged, but it lets us organize all of the
slice-related logic into one place.

Signed-off By: Drew DeVault <sir@cmpwn.com>
Fix tuple unpacking grammar

Signed-off-by: Eyal Sawady <ecs@d2evs.net>
Next