(* $Id$ *)
-open Printf
-
type pattern_kind = Variable | Constructor
type tag_t = int
module OrderedInt =
struct
type t = int
- let compare (x1:t) (x2:t) = Pervasives.compare x2 x1 (* reverse order *)
+ let compare (x1:t) (x2:t) = Stdlib.compare x2 x1 (* reverse order *)
end
module IntSet = Set.Make (OrderedInt)
| _ -> kfail () (*CSC: was assert false, but it did happen*))
let success_closure ksucc =
- (fun matched_terms constructors terms ->
+ (fun matched_terms constructors _terms ->
(* prerr_endline "success_closure"; *)
ksucc matched_terms constructors)