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

Revive #8

Open

toolslive wants to merge 2 commits into Incubaid:master from toolslive:revive

Contributor

toolslive commented Apr 13, 2018

compiles with 4.05.0
suppressed Base.result type as there is a result type in the standard lib these days
killed the extra warnings more recent compilers provide
size_from, set_size via primitves
Lwt.4.0.0 ready
String/Bytes ready. but quickcheck is not available on 4.06.0 (yet?)
some extra functions (fe get_commit) that make the codebase shrink a bit.


          compiles on 4.05.0 + Lwt.4.0.0

2a6ee65

toolslive force-pushed the revive branch from 4eef554 to 7e88636 Compare

April 15, 2018 12:32


          cleanup

a4c71ca

toolslive force-pushed the revive branch from 7e88636 to a4c71ca Compare

June 5, 2019 13:45

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet