Skip to content

Update 5.6 support: primitive alias#642

Open
NathanReb wants to merge 3 commits into
ocaml-ppx:mainfrom
NathanReb:update-5-6-support
Open

Update 5.6 support: primitive alias#642
NathanReb wants to merge 3 commits into
ocaml-ppx:mainfrom
NathanReb:update-5-6-support

Conversation

@NathanReb
Copy link
Copy Markdown
Collaborator

This PR adds support for 5.6 primitive alias feature.

In 5.6 it is now possible to define an alias on a primitive defined elsewhere. Primitives are now represented differently in the AST so it needs to be properly migrated in between 5.6 and 5.5 and for primitive aliases, properly encoded/decoded.

Signed-off-by: Nathan Rebours <nathan.rebours@ocamlpro.com>
@NathanReb
Copy link
Copy Markdown
Collaborator Author

I'm opening as draft for now as it lacks the following:

  1. encoding/decoding of primitive aliases
  2. tests

In its current state though it builds on 5.6 and will correctly handle code that does not use primitive aliases so it might prove useful to people that want to give trunk a shot.

I'll add full support and tests in the next few days!

@NathanReb
Copy link
Copy Markdown
Collaborator Author

I'm also hoping to see the trunk build finally go green!

NathanReb added 2 commits May 7, 2026 10:50
Signed-off-by: Nathan Rebours <nathan.rebours@ocamlpro.com>
Signed-off-by: Nathan Rebours <nathan.rebours@ocamlpro.com>
@NathanReb NathanReb marked this pull request as ready for review May 12, 2026 09:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant