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

Implicitly ended tags. #1239

Merged
merged 6 commits into from
Nov 13, 2024
Merged

Implicitly ended tags. #1239

merged 6 commits into from
Nov 13, 2024

Commits on Nov 12, 2024

  1. Parser: Use implicit ending for tags 

    They are not necessarily at the end anymore, and the end similarly as light
syntax list: on new lines or heading.

This is a breaking change, which according to ocaml#1138 is fixing more things than
breaking them.
It will allow using custom tags and tags in mld files.
    @panglesd
    panglesd committed Nov 12, 2024
    Configuration menu
    Copy the full SHA
    e9cb54e View commit details
    Browse the repository at this point in the history

  2. Parser: factor tag and shorthand list context

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

  3. Parser: Added test for double implicitely ended context

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

  4. Doc: update doc for tags

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

  5. Changelog: add entry for ocaml#1239

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

  6. Fix typo: implicitely -> implicitly

    @gpetiot @panglesd
    gpetiot authored and panglesd committed Nov 12, 2024
    Configuration menu
    Copy the full SHA
    d7beb42 View commit details
    Browse the repository at this point in the history