summaryrefslogtreecommitdiffstats
path: root/bytecomp/matching.ml
diff options
context:
space:
mode:
authorAlain Frisch <alain@frisch.fr>2012-05-29 11:47:28 +0000
committerAlain Frisch <alain@frisch.fr>2012-05-29 11:47:28 +0000
commita0a14c08fa467bc6a40b268f0dbba9568e241e17 (patch)
tree0a248584e83daee65471533c0d5c34252c333527 /bytecomp/matching.ml
parent05c973e6ed4be5e2fb28ef97b9659c9677ccbfd1 (diff)
Enable and fix more warnings.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12498 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'bytecomp/matching.ml')
-rw-r--r--bytecomp/matching.ml4
1 files changed, 2 insertions, 2 deletions
diff --git a/bytecomp/matching.ml b/bytecomp/matching.ml
index f0b223747..144d01688 100644
--- a/bytecomp/matching.ml
+++ b/bytecomp/matching.ml
@@ -274,9 +274,9 @@ let ctx_match ctx pss =
pss)
ctx
-type jumps = (int * ctx ) list
+type jumps = (int * ctx list) list
-let pretty_jumps env = match env with
+let pretty_jumps (env : jumps) = match env with
| [] -> ()
| _ ->
List.iter