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.

Sign up for GitHub

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

Jump to bottom

Adapt to new cmt format for locate and occurrences + project wide occurrences #8

Open
wants to merge 58 commits into
base: master
Choose a base branch
from
Open

Adapt to new cmt format for locate and occurrences + project wide occurrences #8

wants to merge 58 commits into from

Commits on Jan 8, 2024

  1. Pull changes from upsteam 4.14+index

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    2e7801d View commit details
    Browse the repository at this point in the history

  2. Update vendored compiler to 414+index. Locate is broken.

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    548e8cb View commit details
    Browse the repository at this point in the history

  3. Use new iterator to perform locate and occurrences 

    - enable or disable aliases traversal
- mark approximated results as such
- improve constr / labels cases + traverse aliases
    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    8b99e24 View commit details
    Browse the repository at this point in the history

  4. tests: (rebase: move after changes) promote improved tests

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    02be33c View commit details
    Browse the repository at this point in the history

  5. config: accept INDEX_FILE directive

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    c584de4 View commit details
    Browse the repository at this point in the history

  6. occurrences: handle project wide queries

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    c754807 View commit details
    Browse the repository at this point in the history

  7. tests: new and improved tests

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    461aabb View commit details
    Browse the repository at this point in the history

  8. Locate refactor

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    5396ff0 View commit details
    Browse the repository at this point in the history

  9. tests: Promote valid changes

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    92fe41d View commit details
    Browse the repository at this point in the history

  10. More locate refactor

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    7e897f0 View commit details
    Browse the repository at this point in the history

  11. locate: more refactor

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    f9eb9ef View commit details
    Browse the repository at this point in the history

  12. occurrences: refactor iterator

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    c6009df View commit details
    Browse the repository at this point in the history

  13. locate: refactor: extract env_lookup

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    9189fe9 View commit details
    Browse the repository at this point in the history

  14. namespace: refactor: use kinds from compiler

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    9bcc245 View commit details
    Browse the repository at this point in the history

  15. occurrences: index declarations when def not found

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    636bc32 View commit details
    Browse the repository at this point in the history

  16. locate: refactor

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    f6dcfa6 View commit details
    Browse the repository at this point in the history

  17. Locate: refactmore

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    027405a View commit details
    Browse the repository at this point in the history

  18. test: promote ok test change

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    8f1ee55 View commit details
    Browse the repository at this point in the history

  19. Locate, return builtin uids

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    2341f15 View commit details
    Browse the repository at this point in the history

  20. occurrences: show predefs in local buffer

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    2597a5d View commit details
    Browse the repository at this point in the history

  21. index: to upstream: correct predef paths

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    d3360b7 View commit details
    Browse the repository at this point in the history

  22. reconstruct identifier: handle ()

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    07e65a1 View commit details
    Browse the repository at this point in the history

  23. New and improved tests

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    451fa84 View commit details
    Browse the repository at this point in the history

  24. test: illustrate issue with wrapping

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    1e0dc6e View commit details
    Browse the repository at this point in the history

  25. New UNIT_NAME configuration directive

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    26fd7e5 View commit details
    Browse the repository at this point in the history

  26. occurrences: use new UNIT_NAME to fix issue with wrapping

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    2e618e1 View commit details
    Browse the repository at this point in the history

  27. shapes: dependent keep_alias

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    08c06dc View commit details
    Browse the repository at this point in the history

  28. Reduce log verbosity when looking for a file

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    d3011c4 View commit details
    Browse the repository at this point in the history

  29. Locate: traverse wrapping aliases

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    2e87e3a View commit details
    Browse the repository at this point in the history

  30. Index: fix issue with constr / label paths

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    ac9a769 View commit details
    Browse the repository at this point in the history

  31. Add a test for constr / label not found issue

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    f029e1c View commit details
    Browse the repository at this point in the history

  32. test: show that uid counters are not restored correctly

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    57d8b47 View commit details
    Browse the repository at this point in the history

  33. Reset uid counter when restoring the typer's state

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    93e9710 View commit details
    Browse the repository at this point in the history

  34. Create mli for index format and add stats

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    a99ff3c View commit details
    Browse the repository at this point in the history

  35. Improve location sort function

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    372cc6b View commit details
    Browse the repository at this point in the history

  36. Do not use external index if it might be out-of-sync

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    12220ca View commit details
    Browse the repository at this point in the history

  37. Remove todo

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    91898bd View commit details
    Browse the repository at this point in the history

  38. wip: forward desync information

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    00163b3 View commit details
    Browse the repository at this point in the history

  39. Pull latest changes from upstream 

    4.14.2+index
    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    1e8badb View commit details
    Browse the repository at this point in the history

  40. Import small fix from upstream

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    f3a7490 View commit details
    Browse the repository at this point in the history

  41. Adapt typer and analysis to upstream changes

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    7c33834 View commit details
    Browse the repository at this point in the history

  42. tests: add more locate/occurrences tests

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    714a91e View commit details
    Browse the repository at this point in the history

  43. uid reset: correctly prune usage tables 

    This commit take advantage of the Stamped_hashtable datastructure introduced in 147f0c3
    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    e3b0a00 View commit details
    Browse the repository at this point in the history

  44. tests: missing occurrences in type constraints

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    5fc8a1b View commit details
    Browse the repository at this point in the history

  45. occ: Improve definition handling 

    They are not stored in the index anymore
    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    1632e4d View commit details
    Browse the repository at this point in the history

  46. test: show issue with definition outside of workspace

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    a586798 View commit details
    Browse the repository at this point in the history

  47. occ: consider the def is in the index

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    bacaa50 View commit details
    Browse the repository at this point in the history

  48. test: show issue when def is not reachable

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    a902355 View commit details
    Browse the repository at this point in the history

  49. occ: fix handling of usages without definition

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    92d10b8 View commit details
    Browse the repository at this point in the history

  50. Add test showing missing param occurrences

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    41b88a0 View commit details
    Browse the repository at this point in the history

  51. occ: improve local functor param answers

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    601d1a9 View commit details
    Browse the repository at this point in the history

  52. occ: restrict search to buffer when locate failed

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    f9c024d View commit details
    Browse the repository at this point in the history

  53. occ: fix local-buffer paths

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    69dcc55 View commit details
    Browse the repository at this point in the history

  54. index: rely on size when mtime differ

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    5d74c46 View commit details
    Browse the repository at this point in the history

  55. index: rely on size only to check status

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    f45caa6 View commit details
    Browse the repository at this point in the history

  56. tests: fix index changed test

    @voodoos
    voodoos committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    9066c67 View commit details
    Browse the repository at this point in the history

Commits on Jan 16, 2024

  1. occ: index module in path when scope is local

    @voodoos
    voodoos committed Jan 16, 2024
    Configuration menu
    Copy the full SHA
    217fdca View commit details
    Browse the repository at this point in the history

  2. test: illustrate shortcomings of Merlin when lid have spaces or comme… 

    …ntaries in them
    @voodoos
    voodoos committed Jan 16, 2024
    Configuration menu
    Copy the full SHA
    3f991d1 View commit details
    Browse the repository at this point in the history