Support completion for pragmas and language extensions
It would be nice to support completion for pragmas and language extensions like intero for emacs does. In the emacs mode, typing
{-# LA
proposes LANGUAGE
as a completion. Then typing
{-# LANGUAGE GA
proposes GADTSyntax
and GADTs
as completions.
The code that implements this behavior in the emacs mode is here.