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.

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

Address various deprecation warnings. #40

Open
wants to merge 8 commits into
base: develop
Choose a base branch
from

Commits on Feb 1, 2018

  1. Configuration menu
    Copy the full SHA
    fb55a4c View commit details
    Browse the repository at this point in the history
  2. Change improper usage of String.copy (deprecated; Strings are immutab…

    …le) to use Bytes instead
    clegoues committed Feb 1, 2018
    Configuration menu
    Copy the full SHA
    3220ccb View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    a9db413 View commit details
    Browse the repository at this point in the history
  4. update treatment of Strings to Bytes in errormsg module; should have …

    …same behavior with previous versions of OCaml, while fixing compilation failure on 4.06
    clegoues committed Feb 1, 2018
    Configuration menu
    Copy the full SHA
    2bfc2db View commit details
    Browse the repository at this point in the history
  5. update treatment of Strings to Bytes in Pretty; should have same beha…

    …vior with previous versions of OCaml, while fixing compilation failure on 4.06
    clegoues committed Feb 1, 2018
    Configuration menu
    Copy the full SHA
    20b04da View commit details
    Browse the repository at this point in the history

Commits on Aug 31, 2021

  1. Configuration menu
    Copy the full SHA
    e8c6264 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    c671bd6 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    037c0fd View commit details
    Browse the repository at this point in the history