conjure-cp / conjure

Conjure: The Automated Constraint Modelling Tool
Other
94 stars 20 forks source link

Assorted LSP improvements. #581

Closed Maurice-Byrne closed 1 year ago

Maurice-Byrne commented 1 year ago

This pull request contains the groundwork for category checking in LSP and better suggestions as well as some restructuring.

Category Checking

Basic category checking infrastructure has been added to validation. This can detect some basic errors but currently doesn't propagate through expressions.

Better suggestions

LSP completion suggestions have been implemented. Currently this mostly comprises of symbol table based suggestions. Keyword based suggestions will need adding in future.

Other

ozgurakgun commented 1 year ago

hi @Maurice-Byrne - I had a quick look into this PR. are you happy for it to merged?

Maurice-Byrne commented 1 year ago

hi @Maurice-Byrne - I had a quick look into this PR. are you happy for it to merged?

Yes, should be good to go.