1 (***********************************************************************)
5 (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
7 (* Copyright 1996 Institut National de Recherche en Informatique et *)
8 (* en Automatique. All rights reserved. This file is distributed *)
9 (* under the terms of the Q Public License version 1.0. *)
11 (***********************************************************************)
15 (* Compilation of pattern-matching *)
21 Location.t
-> int ref option -> lambda
-> (pattern
* lambda
) list
->
24 lambda
-> (pattern
* lambda
) list
-> lambda
26 Location.t
-> lambda
-> pattern
-> lambda
-> lambda
27 val for_multiple_match
:
28 Location.t
-> lambda list
-> (pattern
* lambda
) list
-> partial
->
31 val for_tupled_function
:
32 Location.t
-> Ident.t list
-> (pattern list
* lambda
) list
->
35 exception Cannot_flatten
37 val flatten_pattern
: int -> pattern
-> pattern list
39 val make_test_sequence
:
40 lambda
option -> primitive
-> primitive
-> lambda
->
41 (Asttypes.constant
* lambda
) list
-> lambda