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.

@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 NathanReb marked this pull request as ready for review May 12, 2026 09:34
@NathanReb NathanReb force-pushed the update-5-6-support branch from 5d7de20 to 697a90d Compare May 22, 2026 11:29
NathanReb added 3 commits May 26, 2026 10:33
Signed-off-by: Nathan Rebours <nathan.rebours@ocamlpro.com>
Signed-off-by: Nathan Rebours <nathan.rebours@ocamlpro.com>
Signed-off-by: Nathan Rebours <nathan.rebours@ocamlpro.com>
@NathanReb NathanReb force-pushed the update-5-6-support branch from 697a90d to a9aeca9 Compare May 26, 2026 08:33
@NathanReb
Copy link
Copy Markdown
Collaborator Author

hmm weird, can't see the ocaml-ci build!

If it's too unstable we'll have to add more reliable github actions build I guess.

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