Skip to content

HLS suggests adding language extensions on terms with the same name (revisit after #1390) #1720

New issue
New issue
Open
Open
HLS suggests adding language extensions on terms with the same name (revisit after #1390)#1720
Labels
component: hls-pragmas-pluginstatus: blockedNot actionable, because blocked by upstream/GHC etc.type: bugSomething isn't right: doesn't work as intended, documentation is missing/outdated, etc..
@isovector

Description

@isovector
isovector
opened on Apr 12, 2021
test = EmptyCase

Hovering over EmptyCase suggests Add "EmptyCase", which adds {-# LANGUAGE EmptyCase #-}.

This happens even if EmptyCase is out of scope.

Metadata

Metadata

Assignees

No one assigned

    Labels

    component: hls-pragmas-pluginstatus: blockedNot actionable, because blocked by upstream/GHC etc.type: 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