When adding an import that only imports some names e.g.
import Data.List (head)
When calling addImportDecl hide will be false but idNames would be non-empty. The output includes two spaces between the module name and the list of imported identifiers e.g.
import Data.List (head)
I check if the import is hidden and if it's not remove the annotation for the hiding keyword and the DP for the open parenthesis becomes (0,0).
When adding an import that only imports some names e.g.
When calling addImportDecl hide will be false but idNames would be non-empty. The output includes two spaces between the module name and the list of imported identifiers e.g.
I check if the import is hidden and if it's not remove the annotation for the hiding keyword and the DP for the open parenthesis becomes (0,0).