> From: "Brian Goetz"
> To: "Remi Forax" , "amber-spec-experts"
>
> Sent: Lundi 27 Septembre 2021 17:07:06
> Subject: Re: It should be possible to type a switch expression with void
> This is part of a larger problem, and I don't think point fixes are really the
> answer here. For this reason (a
- Original Message -
> From: "Tagir Valeev"
> To: "Remi Forax"
> Cc: "amber-spec-experts"
> Sent: Lundi 27 Septembre 2021 06:38:14
> Subject: Re: It should be possible to type a switch expression with void
> If you expect this to be changed, the same would be expected e.g. from ?:
> ex
This is part of a larger problem, and I don't think point fixes are
really the answer here. For this reason (and others), any sort of "type
more things as void" is on hold for now. Here's a sketch of the
motivation, which comes from Valhalla.
A big part of Valhalla is unifying primitives and
