Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

References via hiedb #704

Merged
merged 5 commits into from
Jan 30, 2021
Merged

References via hiedb #704

merged 5 commits into from
Jan 30, 2021

Commits on Jan 30, 2021

  1. Integrate hiedb

    1. Add 'indexHieFile' and rule 'GetModIfaceFromDiskAndIndex' to maintain
       database integrity
       - 'writeHieFile' -> 'writeAndIndexHieFile'
    2. References fromm database
    3. Use db for go to definition
       - Return multiple definitions for things defined in boot files
       - More robust definitions for multi-component
    4. Add persistent stale rules to answer queries immedidately on startup
       - Setup `unsafeGlobalDynFlags` on startup
    5. Add hiedb command line to ghcide and hls
    
    Co-authored-by: Pepe Iborra <pepeiborra@me.com>
    Co-authored-by: Peter Wicks Stringfield <peterwicksstringfield@gmail.com>
    3 people committed Jan 30, 2021
    Configuration menu
    Copy the full SHA
    e64f0db View commit details
    Browse the repository at this point in the history
  2. Update ghcide/bench/lib/Experiments.hs

    Co-authored-by: Pepe Iborra <pepeiborra@me.com>
    wz1000 and pepeiborra committed Jan 30, 2021
    Configuration menu
    Copy the full SHA
    cd128d1 View commit details
    Browse the repository at this point in the history
  3. Clear deleted files from hiedb

    wz1000 committed Jan 30, 2021
    Configuration menu
    Copy the full SHA
    0b1cff9 View commit details
    Browse the repository at this point in the history
  4. make garbage collection async

    wz1000 committed Jan 30, 2021
    Configuration menu
    Copy the full SHA
    6bad9ea View commit details
    Browse the repository at this point in the history
  5. bump hiedb

    wz1000 committed Jan 30, 2021
    Configuration menu
    Copy the full SHA
    864615a View commit details
    Browse the repository at this point in the history