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

Fix internal list pretty-printer (discovered by @hannesm) #14

Merged
merged 6 commits into from
Nov 19, 2020
Merged

Fix internal list pretty-printer (discovered by @hannesm) #14

merged 6 commits into from
Nov 19, 2020

Commits on Nov 18, 2020

  1. Fix internal list pretty-printer (discovered by @hannesm)

    @dinosaure
    dinosaure committed Nov 18, 2020
    Configuration menu
    Copy the full SHA
    0daaeef View commit details
    Browse the repository at this point in the history

  2. Add tests to check isomorphism between [of_string] and pretty-printer 

    This kind of tests make sure that the pretty-printer works but
it does not highlight some assumptions such as the isomorphisme
between the encoder and the decoder.
    @dinosaure
    dinosaure committed Nov 18, 2020
    Configuration menu
    Copy the full SHA
    3f3b62b View commit details
    Browse the repository at this point in the history

  3. Fixed the implementation of fws and quoted-string

    @dinosaure
    dinosaure committed Nov 18, 2020
    Configuration menu
    Copy the full SHA
    9875490 View commit details
    Browse the repository at this point in the history

Commits on Nov 19, 2020

  1. Add more tests about pretty-printer

    @dinosaure
    dinosaure committed Nov 19, 2020
    Configuration menu
    Copy the full SHA
    01f936e View commit details
    Browse the repository at this point in the history

  2. Update .ocamlformat to use 0.15.0

    @dinosaure
    dinosaure committed Nov 19, 2020
    Configuration menu
    Copy the full SHA
    225c35c View commit details
    Browse the repository at this point in the history

  3. Add global warning to compile emile with older compiler

    @dinosaure
    dinosaure committed Nov 19, 2020
    Configuration menu
    Copy the full SHA
    d1a80a6 View commit details
    Browse the repository at this point in the history