From 4ba1b9e4165cda40e06fca3b563b7561a6cffc70 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@college-de-france.fr>
Date: Mon, 13 Sep 2021 14:33:06 +0200
Subject: Handle the new warnings of OCaml 4.13

Warning 69 "mutable record field is never mutated":
  3 occurrences in backend/IRC.ml
  removed the "mutable" qualifier on these fields

Warning 70 "cannot find interface file"
  many .ml files have no .mli
  no strong motivation to add the .mli files
  turned off the warning in Makefile.extr
---
 Makefile.extr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile.extr')

diff --git a/Makefile.extr b/Makefile.extr
index a8949820..fc631d78 100644
--- a/Makefile.extr
+++ b/Makefile.extr
@@ -51,7 +51,7 @@ INCLUDES=$(patsubst %,-I %, $(DIRS))
 
 # Control of warnings:
 
-WARNINGS=-w +a-4-9-27
+WARNINGS=-w +a-4-9-27-70
 extraction/%.cmx: WARNINGS +=-w -20-27-32..34-39-41-44..45-60-67
 extraction/%.cmo: WARNINGS +=-w -20-27-32..34-39-41-44..45-60-67
 cparser/pre_parser.cmx: WARNINGS += -w -41
-- 
cgit