When working on a feature, it would sometimes be useful to fire up a utop REPL and run some experiments in there.
Currently this does not work, due to module name clashes:
$ dune utop
File "_none_", line 1:
Error: Duplicated implementations:
Multiple definitions of module Misc in files /Users/filses01/arm/herdtools7/_opam/lib/ocaml/compiler-libs/ocamlcommon.cma,
lib/herdtools.cma,
Multiple definitions of module Config in files /Users/filses01/arm/herdtools7/_opam/lib/ocaml/compiler-libs/ocamlcommon.cma,
gen/common/gen_common.cma,
Multiple definitions of module Parser in files /Users/filses01/arm/herdtools7/_opam/lib/ocaml/compiler-libs/ocamlcommon.cma,
gen/common/gen_common.cma,
Multiple definitions of module Location in files /Users/filses01/arm/herdtools7/_opam/lib/ocaml/compiler-libs/ocamlcommon.cma,
lib/herdtools.cma
When working on a feature, it would sometimes be useful to fire up a
utopREPL and run some experiments in there.Currently this does not work, due to module name clashes: