Skip to content

Conversation

@mtzguido
Copy link
Member

@mtzguido mtzguido commented Oct 6, 2025

There is currently a problem with OCaml's pprintast/ppxlib in that it generates "raw identifiers" like \#module which are not valid in OCaml below 5.2.0

See ocaml/opam-repository#28610 (comment) for some discussion.

I think this will be fixed upstream, but bumping to OCaml 5.3.0 seems useful anyway. (We can also work around it by using " module" instead of "module" in lib/GenCtypes.ml, but that's nasty.)

PS. I looked at adding a Nix CI, but adding checkPhase = "make test" didn't work for me. I also have no idea how to change the dependencies such as this OCaml version, so I would leave changing the CI to someone else.

There is currently a problem with OCaml's pprintast/ppxlib in that it
generates "raw identifiers" like `\#module` which are not valid in OCaml
below 5.2.0

See ocaml/opam-repository#28610 (comment) for some discussion.

I think this will be fixed upstream, but bumping to OCaml 5.3.0 seems
useful anyway. (We can also work around it by using `" module"` instead
of `"module"` in lib/GenCtypes.ml, but that's nasty.)
@protz
Copy link
Collaborator

protz commented Oct 6, 2025

Fine by me. @Nadrieril I think we're also using 5.3.0 for the nix builds, aren't we?

@protz protz merged commit 5f49344 into FStarLang:master Oct 6, 2025
13 checks passed
@mtzguido mtzguido deleted the ci branch October 7, 2025 02:45
@Nadrieril
Copy link

We're using 5.2 it seems

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.

3 participants