On Mon Jul 31 11:01:54 2023 +0000, Giovanni Mascellani wrote:
Hmm, sometimes type `void` is represented as a `NULL` (for example for return values), sometimes as a `sm6_type` with `TYPE_CLASS_VOID` (see e.g. `sm6_type_is_void()`). Maybe we should always use the same convention.
A null type isn't always declared in the module. There are only two calls to `sm6_type_is_void()` in the finished branch, as null is always represented as NULL in struct sm6_value.