On: New embedded programming language with C as a host...

[xigoi]

Please stop reusing extensions. “.v” is already used by Coq and by V.

[dsvr → xigoi]

At the time I didn't know that. Perhaps .vely extension, I guess that would do it. Something to consider to be nice for sure. Thanks for that.

[forgotpwd16 → xigoi]

And Verilog. Not that it matters much since tools can utilize heuristics to figure out the actual language used.

[xigoi → forgotpwd16]

How do you use heuristics when creating a new file?

[dsvr → xigoi]

In this case, just check if there is, near the beginning of file:

#include "vely.h"

which has to be in every Vely .v file.

[xigoi → dsvr]

A new file won't have that at the top. Unless you create it first by copying a template, I guess.

[hydroid7 → xigoi]

And Verilog