From d6a5b036ba11850441afe86dedfe8f3591df9cad Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Tue, 6 Nov 2018 13:21:13 +0000
Subject: [Docker] Update COMPILER_EDGE: 4.07.0 → 4.07.1

Also update CAMLP5_VER_EDGE: 7.06 → 7.06.10-g84ce6cc4

This is to avoid an OCaml bug that occurs when compiling the OCaml code
extracted from part of a patched version of CompCert.

~~~
File "extraction/Parser.ml", line 12375, characters 19-29:
Error: Constraints are not satisfied in this type.
       Type initstate' should be an instance of initstate'
~~~

This compiler issue only appears with OCaml 4.07.0 (neither with 4.06
nor with 4.07.1); hence this update.
---
 dev/dune-workspace.all | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'dev/dune-workspace.all')

diff --git a/dev/dune-workspace.all b/dev/dune-workspace.all
index f45f6de529..cf95941de5 100644
--- a/dev/dune-workspace.all
+++ b/dev/dune-workspace.all
@@ -3,5 +3,5 @@
 ; Add custom flags here. Default developer profile is `dev`
 (context (opam (switch 4.05.0)))
 (context (opam (switch 4.05.0+32bit)))
-(context (opam (switch 4.07.0)))
-(context (opam (switch 4.07.0+flambda)))
+(context (opam (switch 4.07.1)))
+(context (opam (switch 4.07.1+flambda)))
-- 
cgit v1.2.3