~sircmpwn/harec unlisted

Rename typ_store_reduce_{tagged => result}

The previous name was ambiguous with tagged union reduction, which is
what type_store_lookup_tagged does.

Signed-off-by: Eyal Sawady <ecs@d2evs.net>
gen: fix more issues with qbe subtypes

Signed-off-by: Drew DeVault <sir@cmpwn.com>
Add tagged union reduction tests

Signed-off-by: Eyal Sawady <ecs@d2evs.net>
Implement tagged union reduction

And use it for if/match/switch result types

Signed-off-by: Eyal Sawady <ecs@d2evs.net>
rt::free: drop unnecessary cast

Signed-off-by: Eyal Sawady <ecs@d2evs.net>
Fix type_storage_unparse(STORAGE_NULL)

Signed-off-by: Eyal Sawady <ecs@d2evs.net>
Don't accept a tag list for -T

Instead of expecting the tag list to be passed in, use -T to enable
tests. There's no need to support anything more.

Signed-off-by: Eyal Sawady <ecs@d2evs.net>
Implement static delete

Signed-off-by: Eyal Sawady <ecs@d2evs.net>
rune_unparse: add \U
check_expr_unarithm: dealias LNOT parameter

Signed-off-by: Armin Weigl <tb46305@gmail.com>
gen_slice_alloc: dealias initializer type

Signed-off-by: Armin Weigl <tb46305@gmail.com>
Add new fixed assertion for static insert/append
Allow any pointer type to promote to *void
Disallow assignment from *void a nullable pointer

Signed-off-by: Eyal Sawady <ecs@d2evs.net>
Add fnv1a_{u64,size} and use when appropriate

Signed-off-by: Eyal Sawady <ecs@d2evs.net>
check: fix multi-global declarations
parse: make error types a prefix
eval: implement floats

Signed-off-by: Eyal Sawady <ecs@d2evs.net>
check: implement flexible rune constants

Signed-off-by: Eyal Sawady <ecs@d2evs.net>
Revert "eval_binarithm: implement floats"

This reverts commit 74d160f5cb767bc96a62fb7f33c07472680b46d9.
Next