From 675b57a5799ca8c6c1657ce4ba4a07ec607e4e9f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Reynir=20Bj=C3=B6rnsson?= Date: Mon, 15 Nov 2021 15:04:59 +0100 Subject: [PATCH] Rename Builder_db modules in bin/ and test/ They both depend on the Builder_db module in db/, and using the same name confuses Merlin (as well as myself sometimes). --- bin/{builder_db.ml => builder_db_app.ml} | 0 bin/dune | 4 ++-- test/dune | 2 +- test/{builder_db.ml => test_builder_db.ml} | 0 4 files changed, 3 insertions(+), 3 deletions(-) rename bin/{builder_db.ml => builder_db_app.ml} (100%) rename test/{builder_db.ml => test_builder_db.ml} (100%) diff --git a/bin/builder_db.ml b/bin/builder_db_app.ml similarity index 100% rename from bin/builder_db.ml rename to bin/builder_db_app.ml diff --git a/bin/dune b/bin/dune index 04a7bfc..cddf5b0 100644 --- a/bin/dune +++ b/bin/dune @@ -11,6 +11,6 @@ (executable (public_name builder-db) - (name builder_db) - (modules builder_db) + (name builder_db_app) + (modules builder_db_app) (libraries builder_db builder_system caqti.blocking uri bos fmt logs logs.cli logs.fmt cmdliner mirage-crypto-rng.unix)) diff --git a/test/dune b/test/dune index d728f6c..f582d42 100644 --- a/test/dune +++ b/test/dune @@ -1,3 +1,3 @@ (test - (name builder_db) + (name test_builder_db) (libraries builder_db caqti.blocking alcotest mirage-crypto-rng.unix)) diff --git a/test/builder_db.ml b/test/test_builder_db.ml similarity index 100% rename from test/builder_db.ml rename to test/test_builder_db.ml