Let the virtual library do the selection for implementations

Signed-off-by: Lucas Pluvinage <lucas.pluvinage@gmail.com>
ocaml · Jun 27, 2019 · 1a5e841 · 1a5e841
1 parent 6de9237
commit 1a5e841
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/src/utop.ml b/src/utop.ml
@@ -57,7 +57,12 @@ let setup sctx ~dir =
   let expander = Super_context.expander sctx ~dir in
   let scope = Super_context.find_scope_by_dir sctx dir in
   let db = Scope.libs scope in
-  let libs = libs_under_dir sctx ~db ~dir:(Path.build dir) in
+  let libs = libs_under_dir sctx ~db ~dir:(Path.build dir)
+    |> List.filter ~f:(fun (lib : Lib.t) ->
+      lib
+      |> Lib.info
+      |> Lib_info.implements
+      |> Option.is_none) in
   let source = source ~dir in
   let obj_dir = Toplevel.Source.obj_dir source in
   let loc = Toplevel.Source.loc source in