Skip to content
This repository has been archived by the owner on Jan 2, 2021. It is now read-only.

Integrate hiedb #898

Closed
wants to merge 6 commits into from
Closed

Integrate hiedb #898

wants to merge 6 commits into from

Commits on Dec 29, 2020

  1. References 

    Use db for findDef

save source file location to db
Find source for boot files

Use DynFlags from HieDb instead of unsafeGlobalDynFlags

Return multiple definitions

don't typecheck files on load

Add support for persistent stale values
Add persistent hie file rule

docs wip

better typedef

defs for deps

update hiedb

Fix for files with errors

Fix build

integrate hiedb commands and set dynflags on boot

workspace symbol tweaks, cabal.project

Write ifaces on save

use real mtime for saved files

safe indexing

bump hiedb

Proper refs for FOIs

hlint

Update exe/Main.hs

Co-authored-by: Pepe Iborra <pepeiborra@me.com>

Review comments

update hiedb

Update src/Development/IDE/Core/Shake.hs

Co-authored-by: Pepe Iborra <pepeiborra@me.com>

Update src/Development/IDE/Core/Rules.hs

Co-authored-by: Pepe Iborra <pepeiborra@me.com>

Update src/Development/IDE/Core/Rules.hs

Co-authored-by: Pepe Iborra <pepeiborra@me.com>

Update src/Development/IDE/Spans/AtPoint.hs

Co-authored-by: Pepe Iborra <pepeiborra@me.com>

Update src/Development/IDE/Core/Rules.hs

Co-authored-by: Pepe Iborra <pepeiborra@me.com>

Apply suggestions from code review

Co-authored-by: Pepe Iborra <pepeiborra@me.com>

more careful re-indexing

update for hiedb-0.1.0.0
    @wz1000
    wz1000 committed Dec 29, 2020
    Configuration menu
    Copy the full SHA
    920a131 View commit details
    Browse the repository at this point in the history

  2. Remove cached-deps stuff for now

    @wz1000
    wz1000 committed Dec 29, 2020
    Configuration menu
    Copy the full SHA
    d17cf31 View commit details
    Browse the repository at this point in the history

  3. explicit showSDoc

    @wz1000
    wz1000 committed Dec 29, 2020
    Configuration menu
    Copy the full SHA
    de5f402 View commit details
    Browse the repository at this point in the history

  4. docs in AtPoint

    @wz1000
    wz1000 committed Dec 29, 2020
    Configuration menu
    Copy the full SHA
    70c70b7 View commit details
    Browse the repository at this point in the history

  5. add doc comment about database consistency

    @wz1000
    wz1000 committed Dec 29, 2020
    Configuration menu
    Copy the full SHA
    0d64a71 View commit details
    Browse the repository at this point in the history

  6. add TODO for better position mapping from diff

    @wz1000
    wz1000 committed Dec 29, 2020
    Configuration menu
    Copy the full SHA
    1d760bb View commit details
    Browse the repository at this point in the history