-preview=in might break code

Sat Oct 3 19:54:19 UTC 2020

On Saturday, 3 October 2020 at 19:47:43 UTC, Imperatorn wrote:
>
> Wow. This would be very cool if it could be done (verification 
> through SPARK)

It would only be a small subset of D mapping to a subset of 
SPARK, but since the implementation effort would be reasonable if 
the basic semantics (parameter passing in particular) were 
mappable it could be interesting yes.

(But over time, maybe more of the language could be covered.)