1
2
3
4
5
6
7
8
9
10
11
12
13
|
(**************************************************************************)
(* The CDuce compiler *)
(* Alain Frisch <Alain.Frisch@inria.fr> and the CDuce team *)
(* Copyright CNRS,INRIA, 2003,2004,2005,2006,2007 (see LICENSE for details) *)
(**************************************************************************)
let features = ref []
let init_all () = List.iter (fun (_,d,f) -> f()) (List.rev !features)
let register n d f = features := (n,d,f) :: !features
let descrs () = List.rev_map (fun (n,d,_) -> (n,d)) !features
let inhibit n = features := List.filter (fun (n',_,_) -> n <> n') !features
|