File "typing/typemod.ml", line 1817, characters 27-33: Assertion failed #9406
Description
With OCaml 4.10, I get an assertion failed from the compiler when a transitive dependency is missing:
$ docker run --rm -it ocurrent/opam:debian-10
$ git clone https://github.com/talex5/typemod-crash.git
$ cd typemod-crash
$ opam depext -i dune
$ dune build @check
ocamlc examples/.test.eobjs/byte/test.{cmi,cmo,cmt} (exit 2)
(cd _build/default && /home/opam/.opam/4.10/bin/ocamlc.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -g -bin-annot -I examples/.test.eobjs/byte -I lib/.current.objs/byte -I lib/.current.objs/native -no-alias-deps -opaque -o examples/.test.eobjs/byte/test.cmo -c -impl examples/test.ml)
Fatal error: exception File "typing/typemod.ml", line 1817, characters 27-33: Assertion failed
$ ocaml --version
The OCaml toplevel, version 4.10.0OCaml 4.08 and 4.09 instead print:
Error: Unbound module type Current_term.S.ORDEREDFatal error: exception Not_found
Note that dune-project has (implicit_transitive_deps false), and adding the current_term dependency to examples/dune fixes it.