31 Oct
2023
31 Oct
'23
4:32 p.m.
On Tue Oct 31 16:07:35 2023 +0000, Rémi Bernon wrote:
Right, but that's IMO something that the grammar doesn't allow. I don't see why it would have to be modeled as distinct widl types (which only makes expressions combination more complicated), rather than distinct widl expr enum.
Fwiw I would also be fine with modelling expression kind into the type system, as that could be more readable than an abstract "args", but I think that the in between solution that is currently used, with type arguments stored separately feels awkward.