summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGabriel Kerneis2014-08-24 08:59:17 +0200
committerGabriel Kerneis2014-08-24 08:59:17 +0200
commitcf236dc90b7e091da0929df055c88e0093a70f41 (patch)
tree073ba00df9253f94761c24b8d7147b71f517b02c /src
parentc85cd3a93298736a30ceefaffd34c3a77848a226 (diff)
Silence some OCaml warnings
Diffstat (limited to 'src')
-rw-r--r--src/_tags3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/_tags b/src/_tags
index d9bf28d8..f188b454 100644
--- a/src/_tags
+++ b/src/_tags
@@ -6,3 +6,6 @@ true: -traverse, debug
# see http://caml.inria.fr/mantis/view.php?id=4943
<lem_interp/*> and not <lem_interp/*.cmxa>: use_nums, use_lem
<test/*> and not <test/*.cmxa>: use_nums, use_lem, use_str
+
+# disable partial match and unused variable warnings
+<**/*.ml>: warn_p, warn_y