Skip to content

Semantic token omitting record field in {-# LANGUAGE DuplicateRecordFields #-} #3950

Closed
@soulomoon

Description

@soulomoon

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.

Metadata

Metadata

Assignees

Labels

component: semantic-tokenstype: bugSomething isn't right: doesn't work as intended, documentation is missing/outdated, etc..

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions