Support Lustre Language

[hbourbouh]

Hi,

I have added the Lustre language to your project and I am using it locally, do you think it will be interesting to make a pull request to add it?

Thanks,
Hamza

[mattgodbolt]

Hi @hbourbouh ! Does Lustre compile to native code? I couldn't find a quick answer via Google? Are the compilers open source? I found https://github.com/coco-team/lustrec which implies lustre compiles to C?

If that's the case, then we have the same problem we have for #206 - namely there's then a "which C compiler do we compile with". I'd like to solve that problem too, so this isn't a way of saying "no", rather another consideration.

There's not a direct guide for adding new languages, but taking a look at the docs for adding a compiler, plus a change like ac8d24a gives an idea of the scope of a change. Syntax highlighting would need to be added too, that's usually not too tricky though.

Thoughts?

[hbourbouh]

Hi @mattgodbolt, sorry for replying late. Let me answer your questions first: lustrec compiler that you found is compiling Lustre to C, Horn or another Lustre with annotations (MCDC for example).
I am using the lustrec compiler to generate C and Horn clauses (SMT2). It helps me to show people how Lustre works by showing the generated C code for example.
I am not interested to compile C. I already added the lustrec compiler to your project locally.
So I am wondering if it is out of the scope of your project?

Thanks!

[mattgodbolt]

Compiling to C is interesting, although it's definitely not on the scope currently. I would not be against it; it would mean configuring the compiler output window slightly differently (in terms of not trying to look up ASM opcodes, and to use C syntax highlighting, plus disabling most of the filters). If you have a proof of concept I'd be happy to take a look at it!

[jeremy-rifkin]

I'll go ahead and close this for now