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 formatting of comments #2022

Merged
merged 19 commits into from
Apr 24, 2023
Merged

Improve formatting of comments #2022

merged 19 commits into from
Apr 24, 2023

Commits on Apr 20, 2023

  1. parse comments

    @janmasrovira
    janmasrovira committed Apr 20, 2023
    Configuration menu
    Copy the full SHA
    f2b0c34 View commit details
    Browse the repository at this point in the history

  2. parse and print comment groups

    @janmasrovira
    janmasrovira committed Apr 20, 2023
    Configuration menu
    Copy the full SHA
    51da537 View commit details
    Browse the repository at this point in the history

Commits on Apr 21, 2023

  1. space span

    @janmasrovira
    janmasrovira committed Apr 21, 2023
    Configuration menu
    Copy the full SHA
    f7dbd72 View commit details
    Browse the repository at this point in the history

  2. fix paragraphs

    @janmasrovira
    janmasrovira committed Apr 21, 2023
    Configuration menu
    Copy the full SHA
    33a25da View commit details
    Browse the repository at this point in the history

  3. spaces are hard

    @janmasrovira
    janmasrovira committed Apr 21, 2023
    Configuration menu
    Copy the full SHA
    8b0b2a8 View commit details
    Browse the repository at this point in the history

  4. make test Format.juvix typecheck

    @janmasrovira
    janmasrovira committed Apr 21, 2023
    Configuration menu
    Copy the full SHA
    6383a38 View commit details
    Browse the repository at this point in the history

  5. fix reinterpretH

    @janmasrovira
    janmasrovira committed Apr 21, 2023
    Configuration menu
    Copy the full SHA
    e84cfe4 View commit details
    Browse the repository at this point in the history

Commits on Apr 22, 2023

  1. fix printing color of using/hiding

    @janmasrovira
    janmasrovira committed Apr 22, 2023
    Configuration menu
    Copy the full SHA
    bcbefb2 View commit details
    Browse the repository at this point in the history

Commits on Apr 23, 2023

  1. Add judoc code annotation and face

    @janmasrovira
    janmasrovira committed Apr 23, 2023
    Configuration menu
    Copy the full SHA
    3891177 View commit details
    Browse the repository at this point in the history

  2. Propertly register top module name in scoper

    @janmasrovira
    janmasrovira committed Apr 23, 2023
    Configuration menu
    Copy the full SHA
    552c49a View commit details
    Browse the repository at this point in the history

  3. Add delimiter face

    @janmasrovira
    janmasrovira committed Apr 23, 2023
    Configuration menu
    Copy the full SHA
    a5679e3 View commit details
    Browse the repository at this point in the history

Commits on Apr 24, 2023

  1. Merge branch 'main' into 2016-formatting-stop-introducing-new-lines-b… 

    …etween-certain-statements-comments-line-issue
    @janmasrovira
    janmasrovira committed Apr 24, 2023
    Configuration menu
    Copy the full SHA
    3153e90 View commit details
    Browse the repository at this point in the history

  2. cleanup

    @janmasrovira
    janmasrovira committed Apr 24, 2023
    Configuration menu
    Copy the full SHA
    72918b8 View commit details
    Browse the repository at this point in the history

  3. register comments individually

    @janmasrovira
    janmasrovira committed Apr 24, 2023
    Configuration menu
    Copy the full SHA
    2e2f2eb View commit details
    Browse the repository at this point in the history

  4. Semigroup instance for SpaceSpan

    @janmasrovira
    janmasrovira committed Apr 24, 2023
    Configuration menu
    Copy the full SHA
    2f84b50 View commit details
    Browse the repository at this point in the history

  5. format empty local modules

    @janmasrovira
    janmasrovira committed Apr 24, 2023
    Configuration menu
    Copy the full SHA
    5682e8d View commit details
    Browse the repository at this point in the history

  6. temporarily modify tests

    @janmasrovira
    janmasrovira committed Apr 24, 2023
    Configuration menu
    Copy the full SHA
    a84abfc View commit details
    Browse the repository at this point in the history

  7. add comments

    @janmasrovira
    janmasrovira committed Apr 24, 2023
    Configuration menu
    Copy the full SHA
    94bfdad View commit details
    Browse the repository at this point in the history

  8. ormolu

    @janmasrovira
    janmasrovira committed Apr 24, 2023
    Configuration menu
    Copy the full SHA
    13442ee View commit details
    Browse the repository at this point in the history