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

CP-20761: Get suitable ppx changes into trunk #24

Closed
wants to merge 4 commits into from
Closed

CP-20761: Get suitable ppx changes into trunk #24

wants to merge 4 commits into from

Commits on Feb 23, 2017

  1. Minimal change to not conflict with Result.result 

    Signed-off-by: Jon Ludlam <jonathan.ludlam@citrix.com>
    @jonludlam @gaborigloi
    jonludlam authored and gaborigloi committed Feb 23, 2017
    Configuration menu
    Copy the full SHA
    b264307 View commit details
    Browse the repository at this point in the history

  2. Rename Switch to prevent conlict with newer OCaml 

    Rename switch.ml to mswitch.ml to prevent the name clash that occurs
with the newer 4.02.3 OCaml compiler.

Signed-off-by: Gabor Igloi <gabor.igloi@citrix.com>
    @gaborigloi
    gaborigloi committed Feb 23, 2017
    Configuration menu
    Copy the full SHA
    cd294e5 View commit details
    Browse the repository at this point in the history

  3. Remove use of camlp4 lwt syntax extension 

    We are moving away from camlp4 to ppx.

Signed-off-by: Gabor Igloi <gabor.igloi@citrix.com>
    @gaborigloi
    gaborigloi committed Feb 23, 2017
    Configuration menu
    Copy the full SHA
    865f9eb View commit details
    Browse the repository at this point in the history

  4. _oasis: remove unneded rpclib.syntax dependencies 

    from the message_switch_server, message_switch_async, message_switch_lwt
libraries that don't use it.

Signed-off-by: Gabor Igloi <gabor.igloi@citrix.com>
    @gaborigloi
    gaborigloi committed Feb 23, 2017
    Configuration menu
    Copy the full SHA
    9214f34 View commit details
    Browse the repository at this point in the history