Skip to content

Support running utop in repo root #2010

Description

@fsestini

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

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions