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

Preliminary Python API #240

Draft
wants to merge 1 commit into
base: v8.16
Choose a base branch
from
Draft

Preliminary Python API #240

wants to merge 1 commit into from

Conversation

ejgallego
Copy link
Collaborator

@ejgallego ejgallego commented Apr 18, 2021

[serlib] Add ppx_python serialization.

We add Python serialization for the complete protocol, modulo the
existing issues the current setup seems to work well!

Main hiccup was the lack of variants support
janestreet/ppx_python#4 , but fortunately it
was easy to work around.

Thanks to the ppx_python team for their quick resolution of issue
janestreet/ppx_python#1 which was essential
to get this commit working.

This PR just takes care of the serialization, main Python support is
done now in https://github.com/ejgallego/pycoq

Thus, this PR closes #48

@ejgallego ejgallego added this to the 0.13.1 milestone Sep 21, 2021
@ejgallego ejgallego force-pushed the v8.13+pyml branch 4 times, most recently from cfb85a3 to 057ac93 Compare September 23, 2021 16:36
@ejgallego ejgallego modified the milestones: 0.13.1, 0.13.2 Sep 24, 2021
@ejgallego ejgallego force-pushed the v8.13+pyml branch 4 times, most recently from cdda614 to 48f4936 Compare November 5, 2021 01:03
@ejgallego ejgallego modified the milestones: 0.13.2, 0.16.0 Jun 15, 2022
We add Python serialization for the complete protocol, modulo the
existing issues the current setup seems to work well!

Main hiccup was the lack of variants support
janestreet/ppx_python#4 , but fortunately it
is easy to work around.

Thanks to the `ppx_python` team for their quick resolution of issue
janestreet/ppx_python#1 which was essential
to get this commit working.
@ejgallego ejgallego changed the base branch from v8.13 to v8.16 August 9, 2022 12:17
@ejgallego ejgallego removed this from the 0.16.0 milestone Sep 8, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Python interface
1 participant