From 7d9e60daa4e5aebf2c4a34cb42db5b562199878e Mon Sep 17 00:00:00 2001
From: Thomas Refis <thomas.refis@gmail.com>
Date: Tue, 22 Sep 2020 10:31:48 +0200
Subject: [PATCH] dune: build stdlib without injectivity annotations (#9932)

---
 stdlib/dune | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/stdlib/dune b/stdlib/dune
index cfbe3c22e..16471f8f7 100644
--- a/stdlib/dune
+++ b/stdlib/dune
@@ -29,7 +29,11 @@
           (run sed -i s/loc_FUNCTION/loc_POS/ %{input-file})
           (run awk -v dune_wrapped=true
                  -f %{dep:expand_module_aliases.awk} %{input-file})))
-      stdlib))))
+      stdlib)
+     (; FIXME: remove after 4.12 (this erases injectivity annotations)
+      (action (run sed "s/\\!\\([-+]*'\\)/\\1/g" %{input-file}))
+      atomic bigarray camlinternalAtomic camlinternalOO ephemeron hashtbl map
+      moreLabels queue stack stream weak))))
 
 (rule
  (targets sys.ml)