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

Improve indentation of attributes in patterns #2613

Merged
merged 6 commits into from
Nov 12, 2024
Merged

Improve indentation of attributes in patterns #2613

merged 6 commits into from
Nov 12, 2024

Commits on Nov 12, 2024

  1. Improve indentation of attributes in patterns 

    Small bug fix:

     let pp f
         ({cf_assign_last_arg; cf_injected_destructor; cf_interface}
    -      [@warning "+9"] ) =
    +     [@warning "+9"] ) =
       ()
    @Julow
    Julow committed Nov 12, 2024
    Configuration menu
    Copy the full SHA
    3070100 View commit details
    Browse the repository at this point in the history

  2. Update CHANGES

    @Julow
    Julow committed Nov 12, 2024
    Configuration menu
    Copy the full SHA
    bed630f View commit details
    Browse the repository at this point in the history

  3. Avoid breaking after a lone '}'

    @Julow
    Julow committed Nov 12, 2024
    Configuration menu
    Copy the full SHA
    2adb89c View commit details
    Browse the repository at this point in the history

  4. Merge branch 'MAIN' into pattern-attr-indent

    @Julow
    Julow committed Nov 12, 2024
    Configuration menu
    Copy the full SHA
    052f346 View commit details
    Browse the repository at this point in the history

  5. Box depends on break_separators

    @Julow
    Julow committed Nov 12, 2024
    Configuration menu
    Copy the full SHA
    51f7d7b View commit details
    Browse the repository at this point in the history

  6. Box depends on sequence_style

    @Julow
    Julow committed Nov 12, 2024
    Configuration menu
    Copy the full SHA
    a85a23a View commit details
    Browse the repository at this point in the history