curry-language-server icon indicating copy to clipboard operation
curry-language-server copied to clipboard

Published 20 hours ago • verified publisher icon fwcd

Add code completions for `OPTIONS_FRONTEND` flags

Open fwcd opened this issue 1 year ago • 0 comments

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.

fwcd avatar Jul 18 '22 16:07 fwcd