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

sharing specs move to line of previous spec #37

Closed
HarrisonGrodin opened this issue Dec 25, 2021 · 0 comments · Fixed by #35
Closed

sharing specs move to line of previous spec #37

HarrisonGrodin opened this issue Dec 25, 2021 · 0 comments · Fixed by #35
Labels
bug Something isn't working

Comments

@HarrisonGrodin
Copy link
Collaborator

sharing specs seem to jump on the same line as existing code. For example, this:

signature S =
  sig
    type t1
    type t2

    sharing type t1 = t2
  end

autoformats to:

signature S =
  sig
    type t1
    type t2 sharing type t1 = t2
  end
@HarrisonGrodin HarrisonGrodin added the bug Something isn't working label Dec 25, 2021
@HarrisonGrodin HarrisonGrodin linked a pull request Dec 25, 2021 that will close this issue
1 task
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant