Skip to content

rename module Types to Codex_types#4

Open
S41d wants to merge 1 commit into
codex-semantics-library:mainfrom
S41d:ocaml-5.4
Open

rename module Types to Codex_types#4
S41d wants to merge 1 commit into
codex-semantics-library:mainfrom
S41d:ocaml-5.4

Conversation

@S41d

@S41d S41d commented Feb 27, 2026

Copy link
Copy Markdown

I had a Duplicated implementations error when trying to use Codex as a library for Owi using OCaml 5.4. This PR renames the Types module to Codex_types to prevent the aforementioned error.

@mlemerre

Copy link
Copy Markdown
Contributor

Hi @S41d , do you know where the error comes from? I thought that dune was packing modules. Otherwise, it means that we cannot have internal modules with the same name?

@redianthus

Copy link
Copy Markdown

The error was the following:

$ ...
File "_none_", line 1:
Error:  Duplicated implementations:
         Multiple definitions of module Types in files /home/xyz/.opam/5.4.0/lib/codex/types/types.cmxa,
         /home/xyz/.opam/5.4.0/lib/ocaml/compiler-libs/ocamlcommon.cmxa
File "_none_", line 1:
Error:  Duplicated implementations:
         Multiple definitions of module Types in files /home/xyz/.opam/5.4.0/lib/codex/types/types.cma,
         /home/xyz/.opam/5.4.0/lib/ocaml/compiler-libs/ocamlcommon.cma
File "_none_", line 1:
Error:  Duplicated implementations:
         Multiple definitions of module Types in files /home/xyz/.opam/5.4.0/lib/ocaml/compiler-libs/ocamlcommon.cma,
         /home/xyz/.opam/5.4.0/lib/codex/types/types.cma

It does not come from Owi, but I think that trying to have both Codex + Owi makes the conflict appear because of stuff brought transitively by Owi (I suspect something related to dune-site + -linkall...)

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