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

Better editor and merlin integration by improving ppx locations #748

Merged
merged 13 commits into from
Jul 18, 2023

Commits on Jul 12, 2023

  1. ppx: add test for locations

    jchavarri committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    219b212 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    3598d46 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    e00cb75 View commit details
    Browse the repository at this point in the history
  4. more fixes

    jchavarri committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    619a759 View commit details
    Browse the repository at this point in the history

Commits on Jul 13, 2023

  1. Configuration menu
    Copy the full SHA
    7715acb View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    9ee26f5 View commit details
    Browse the repository at this point in the history
  3. Merge branch 'main' into fix-ppx-locations

    * main:
      Require dune 3.8 (reasonml#746)
    jchavarri committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    ed53bae View commit details
    Browse the repository at this point in the history

Commits on Jul 14, 2023

  1. Merge branch 'main' into fix-ppx-locations

    * main:
      ppx: add merlin tests (reasonml#749)
    jchavarri committed Jul 14, 2023
    Configuration menu
    Copy the full SHA
    f9b3357 View commit details
    Browse the repository at this point in the history
  2. ppx: update merlin tests

    jchavarri committed Jul 14, 2023
    Configuration menu
    Copy the full SHA
    703ead1 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    ea02927 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    0e75cc8 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    19247b3 View commit details
    Browse the repository at this point in the history

Commits on Jul 18, 2023

  1. add changelog entry

    jchavarri committed Jul 18, 2023
    Configuration menu
    Copy the full SHA
    ab0fd7f View commit details
    Browse the repository at this point in the history