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

Remove mentions of CAMLprim from the manual #9153

Closed
wants to merge 1 commit into from

Conversation

@nojb
Copy link
Contributor

nojb commented Dec 1, 2019

This macro is not necessary for user code anymore and it can be confusing to mention it in the manual.

@nojb

This comment has been minimized.

@dra27

This comment has been minimized.

Copy link
Contributor

dra27 commented Dec 1, 2019

Also xref #1633

@xavierleroy

This comment has been minimized.

Copy link
Contributor

xavierleroy commented Dec 1, 2019

Also xref #1207.

This and #1633 are ongoing proposals that give meaning again to those macros. I'm not sure where to go from there, but be careful of the left hand ignoring what the right hand is doing.

@nojb

This comment has been minimized.

Copy link
Contributor Author

nojb commented Dec 1, 2019

Thanks for the pointers -- I was not aware of these PRs. Closing this one to avoid confusing this further.

@nojb nojb closed this Dec 1, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
3 participants
You can’t perform that action at this time.