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

Unable to load joy on utop #89

Open
Sudha247 opened this issue Jan 17, 2024 · 2 comments
Open

Unable to load joy on utop #89

Sudha247 opened this issue Jan 17, 2024 · 2 comments
Labels
bug Something isn't working

Comments

@Sudha247
Copy link
Owner

Trying to load joy on utop throws this error:

#require "joy";;
The files /home/sudha/.opam/5.1.0/lib/joy/joy.cma
and /home/sudha/.opam/5.1.0/lib/ocaml/compiler-libs/toploop.cmi
disagree over interface Shape

@Sudha247 Sudha247 added the bug Something isn't working label Jan 17, 2024
@FayCarsons
Copy link
Collaborator

I ran into this problem while preparing for my presentation. It seems like the solution is to rename Shape to something else (not Primitive, tried that and it doesn't work either). Suggestions?

@nikochiko
Copy link
Collaborator

nikochiko commented Mar 12, 2024

Think this might have to do with (wrapped false) in dune.

It exposes all modules to the top-level.

Dune doc recommends against it for this exact reason:

(wrapped ) specifies whether the library modules should be available only through the top-level library module, or if they should all be exposed at the top level. The default is true, and it’s highly recommended to keep it this way. Because OCaml top-level modules must all be unique when linking an executables, polluting the top-level namespace will make your library unusable with other libraries if there is a module name clash. This option is only intended for libraries that manually prefix all their modules by the library name and to ease porting of existing projects to Dune.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

No branches or pull requests

3 participants