Closed sjakobi closed 6 years ago
With the current definition of HsDocIdentifier we'd still keep the hsDocIdentifierStrings around. We should probably get rid of them first.
HsDocIdentifier
hsDocIdentifierString
Related: #13.
Addressed in https://github.com/sjakobi/ghc/commit/fc3571452fa68743ff4b246864d4b2282df803cc.
With the current definition of
HsDocIdentifier
we'd still keep thehsDocIdentifierString
s around. We should probably get rid of them first.Related: #13.