search

fwcd / curry-language-server

IDE support for the functional logic language Curry
BSD 3-Clause "New" or "Revised" License
27 stars 2 forks source link

Add code completions for `OPTIONS_FRONTEND` flags #47

Open fwcd opened 2 years ago

fwcd commented 2 years ago

It would be cool if the language server could provide code completions for the frontend's flags, e.g. -Wno-missing-signatures in OPTIONS_FRONTEND pragmas. Ideally, the language server would query the available flags directly from the frontend.