From 5c7cfb7a934f9a581d6ddc530a4c6fb01cd58aa1 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sat, 4 Oct 2014 19:18:34 +0200
Subject: A few improvements on pattern-matching compilation.

- Optimize the removal of generalization when there is no dependency in
  the generalized variable (see postprocess_dependencies, and the removal
  of dependencies in the default type of impossible cases).
- Compute the onlydflt flag correctly (what allows automatic treatment
  of impossible cases even when there is no clause at all).
---
 lib/cArray.mli | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'lib/cArray.mli')

diff --git a/lib/cArray.mli b/lib/cArray.mli
index 28f5110eed..39c35e2d54 100644
--- a/lib/cArray.mli
+++ b/lib/cArray.mli
@@ -23,6 +23,8 @@ sig
   val exists : ('a -> bool) -> 'a array -> bool
   (** As [List.exists] but on arrays. *)
 
+  val exists2 : ('a -> 'b -> bool) -> 'a array -> 'b array -> bool
+
   val for_all : ('a -> bool) -> 'a array -> bool
   val for_all2 : ('a -> 'b -> bool) -> 'a array -> 'b array -> bool
   val for_all3 : ('a -> 'b -> 'c -> bool) ->
-- 
cgit v1.2.3