diff options
| author | Vincent Laporte | 2018-11-06 13:21:13 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2018-11-06 13:28:40 +0000 |
| commit | d6a5b036ba11850441afe86dedfe8f3591df9cad (patch) | |
| tree | e5e9ebdf1dfeda2442819251eb813fd0965765ca /dev/tools | |
| parent | f6033667bd9b8069308d4bcba420c4ce0771e44f (diff) | |
[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.
Diffstat (limited to 'dev/tools')
0 files changed, 0 insertions, 0 deletions