diff options
| author |  Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-07-11 18:32:37 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-07-12 16:23:51 +0200 |
| commit | 77e3b3c43aebe9ad18ac99b34cf6dfac1ecc93fd (patch) | |
| tree | 852d984f9c0f01dbc031670be8e3a172eb902e5f | |
| parent | c05283cb80f81c521bb3a0d8e742d693b7db1a64 (diff) | |
[warnings] Disable warning 59 [assignment to a non-mutable value] to make flambda happy.
See issue #8043.
Using `[@@@ocaml.warning "-59"]` to disable this fails, it seems like
an OCaml bug.
| -rw-r--r-- | configure.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/configure.ml b/configure.ml index 194f47c49..0b6b47e9a 100644 --- a/configure.ml +++ b/configure.ml @@ -647,8 +647,9 @@ let camltag = match caml_version_list with 48: implicit elimination of optional arguments: too common 50: unexpected documentation comment: too common and annoying to avoid 56: unreachable match case: the [_ -> .] syntax doesn't exist in 4.02.3 + 59: "potential assignment to a non-mutable value": See Coq's issue #8043 *) -let coq_warnings = "-w +a-4-9-27-41-42-44-45-48-50" +let coq_warnings = "-w +a-4-9-27-41-42-44-45-48-50-59" let coq_warn_error = if !prefs.warn_error then "-warn-error +a" |