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

Add convenience pretty printer for Either.t (added in 4.12) #10242

Merged
merged 9 commits into from
Apr 21, 2021
Merged

Add convenience pretty printer for Either.t (added in 4.12) #10242

merged 9 commits into from
Apr 21, 2021

Commits on Feb 20, 2021

  1. Add convenience pretty printer for Either.t (which just got added i… 

    …n 4.12)
    Oghenevwogaga Ebresafe committed Feb 20, 2021
    Configuration menu
    Copy the full SHA
    9229343 View commit details
    Browse the repository at this point in the history

Commits on Feb 21, 2021

  1. error -> right 

    Co-authored-by: Nicolás Ojeda Bär <n.oje.bar@gmail.com>
    @nojb
    Oghenevwogaga Ebresafe and nojb committed Feb 21, 2021
    Configuration menu
    Copy the full SHA
    da6f7de View commit details
    Browse the repository at this point in the history

Commits on Apr 20, 2021

  1. mli for pp_print_either

    Oghenevwogaga Ebresafe committed Apr 20, 2021
    Configuration menu
    Copy the full SHA
    a09cf1b View commit details
    Browse the repository at this point in the history

  2. Added since annotation

    Oghenevwogaga Ebresafe committed Apr 20, 2021
    Configuration menu
    Copy the full SHA
    5c1c1a8 View commit details
    Browse the repository at this point in the history

  3. updated change log

    Oghenevwogaga Ebresafe committed Apr 20, 2021
    Configuration menu
    Copy the full SHA
    63f90e7 View commit details
    Browse the repository at this point in the history

  4. fixed whitespace issue

    Oghenevwogaga Ebresafe committed Apr 20, 2021
    Configuration menu
    Copy the full SHA
    9cafc55 View commit details
    Browse the repository at this point in the history

  5. reduced column length in the change log

    Oghenevwogaga Ebresafe committed Apr 20, 2021
    Configuration menu
    Copy the full SHA
    c8f7018 View commit details
    Browse the repository at this point in the history

Commits on Apr 21, 2021

  1. ran make alldepend

    ebresafegaga committed Apr 21, 2021
    Configuration menu
    Copy the full SHA
    98059bf View commit details
    Browse the repository at this point in the history

  2. removed whitespace

    Oghenevwogaga Ebresafe committed Apr 21, 2021
    Configuration menu
    Copy the full SHA
    2f9f10b View commit details
    Browse the repository at this point in the history