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

Does it work with Ocaml5? #88

Closed
KnorrFG opened this issue Apr 9, 2023 · 2 comments
Closed

Does it work with Ocaml5? #88

KnorrFG opened this issue Apr 9, 2023 · 2 comments

Comments

@KnorrFG
Copy link

KnorrFG commented Apr 9, 2023

Hey,
I can't get ppx_import to work. If I try in utop:

──────────┬─────────────────────────────────────────────────────────────┬───────────
          │ Welcome to utop version 2.11.0 (using OCaml version 5.0.0)! │
          └─────────────────────────────────────────────────────────────┘

Type #utop_help for help about using utop.

─( 18:15:10 )─< command 0 >──────────────────────────────────────────{ counter: 0 }─
utop # #require "ppx_import";;
─( 18:15:10 )─< command 1 >──────────────────────────────────────────{ counter: 0 }─
utop # type%import pos = Lexing.position;;
Error: Uninterpreted extension 'import'.
─( 18:15:11 )─< command 2 >──────────────────────────────────────────{ counter: 0 }─
utop #

And if I try this in a binary:

type%import position = Lexing.position [@@deriving show]

I get:

File "bin/main.ml", line 6, characters 5-11:
6 | type%import position = Lexing.position [@@deriving show]
         ^^^^^^
Error: optcomp: invalid directive syntax, expected single expression.
@keigoi
Copy link

keigoi commented May 18, 2023

@KnorrFG: possibly related: #89 ?

@KnorrFG
Copy link
Author

KnorrFG commented May 18, 2023

I completely forgot this issue. The problem was a conflict with some other PPX from jane street that had a dependency that used the same name (judging from my error, I assume optcomp). Without that jane street ppx everything worked fine. Sorry for not reporting that. In the end, I decided that jane street PPX was more important.

@KnorrFG KnorrFG closed this as completed May 18, 2023
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

No branches or pull requests

2 participants