From 06fcd91ec5d3d9382cacb6a5b92362e2743e81a7 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Fri, 1 Mar 2019 13:36:05 +0100
Subject: Dune: remove -short-paths flag.

This makes it so that
~~~ocaml
module M = struct
  type a
  let f (x:a) = x
end

type b = M.a

let _ = M.f 2
~~~
We get

    Error: This expression has type int but an expression was expected of type M.a

instead of

    Error: This expression has type int but an expression was expected of type b

We want this for Coq since we have numerous aliases in this pattern,
eg module_ident = Id.t in names.

See https://github.com/ocaml/dune/issues/1794 https://caml.inria.fr/mantis/view.php?id=7911
---
 dune | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'dune')

diff --git a/dune b/dune
index 95041512e2..32dbc736f3 100644
--- a/dune
+++ b/dune
@@ -1,12 +1,12 @@
 ; Default flags for all Coq libraries.
 (env
- (dev     (flags :standard -rectypes -w -9-27+40+60))
+ (dev     (flags :standard -rectypes -w -9-27+40+60 \ -short-paths))
  (release (flags :standard -rectypes)
           (ocamlopt_flags -O3 -unbox-closures))
  (ireport (flags :standard -rectypes -w -9-27-40+60)
           (ocamlopt_flags :standard -O3 -unbox-closures -inlining-report))
  (ocaml409
-  (flags :standard -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -w -9-27+40+60 -warn-error -5 -alert --deprecated)))
+  (flags :standard -strict-sequence -strict-formats -keep-locs -rectypes -w -9-27+40+60 -warn-error -5 -alert --deprecated)))
 
 ; The _ profile could help factoring the above, however it doesn't
 ; seem to work like we'd expect/like:
-- 
cgit v1.2.3