Langium binding and more

TypeFox / typir

Typir is a library for building type systems

MIT License

10 stars 2 forks source link

Langium binding and more #15

Closed JohannesMeierSE closed 1 month ago

JohannesMeierSE commented 1 month ago

added first version of a Typir binding for Langium
integrated type creation into a service
added listeners for added/removed types/edges
fixed bugs
handle the removal of types and their inference rules
extended validation API
validation for unique function and class declarations

JohannesMeierSE commented 1 month ago

Thanks a lot for your helpful review @insafuhrmann!

I pushed the changes and will merge it on main.

There are a few things to check on at a later time as we discussed in our Typir meeting today (e.g. the suggestions by Markus constructor use, initializeWorkspace, eagerload etc.).

You are completely right, some fine-tuning is still required, which I will do in a future PR.