-preview=in might break code

Ola Fosheim Grøstad ola.fosheim.grostad at gmail.com
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.)


More information about the Digitalmars-d mailing list