From f0c7587ea53b855ca58ce73d3e25f7e81215a722 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Thu, 27 Sep 2018 16:39:39 +0200
Subject: [dune] [merlin] Fix some usability issues.

As suggested on Gitter by @maximedenes we improve documentation and
update Kernel's `.merlin` so it actually reports on the stricter set
of warnings.

We also set the language version to the proper one so users will get a
better error message [the fact that we can use `(env_var ...)` with
the wrong Dune version is a Dune bug indeed].
---
 kernel/.merlin.in | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 kernel/.merlin.in

(limited to 'kernel')

diff --git a/kernel/.merlin.in b/kernel/.merlin.in
new file mode 100644
index 0000000000..912ff61496
--- /dev/null
+++ b/kernel/.merlin.in
@@ -0,0 +1,8 @@
+FLG -rectypes -thread -safe-string -w +a-4-44-50
+
+S ../clib
+B ../clib
+S ../config
+B ../config
+S ../lib
+B ../lib
-- 
cgit v1.2.3