wz1000 / HieDb

Generates a references DB from .hie files
BSD 3-Clause "New" or "Revised" License
64 stars 24 forks source link

Add refs.is_generated to distinguish references from source/generated by ghc #77

Open jhrcek opened 2 months ago

jhrcek commented 2 months ago

An alternative approach to https://github.com/wz1000/HieDb/pull/73

Instead of dropping all the generated references altogether, we just introduce a boolean flag to refs table that stores True for generated references, and False for references coming from source code.

The overall intention is to fix the hls-rename-plugin bug whereby it incorrectly renames all record fields whenever you rename record constructor, because in HieAST all field selectors have a generated reference to the constructor.