Closed
Description
recordField
name in instance decl sometimes considered as generated OccName by hieAst even if it is written out by user. Like in $sel:plcGlobalOn:PluginConfig
. in hls code base:
instance Default PluginConfig where
def = PluginConfig
{ plcGlobalOn = True
, plcCallHierarchyOn = True
, plcCodeActionsOn = True
, plcCodeLensOn = True
, plcDiagnosticsOn = True
, plcHoverOn = True
, plcSymbolsOn = True
, plcCompletionOn = True
, plcRenameOn = True
, plcSelectionRangeOn = True
, plcFoldingRangeOn = True
, plcSemanticTokensOn = True
, plcConfig = mempty
}
Stop omit generated OccName could fix this.