tables.ml

   1 (** Global list of tables *)
   2
   3 open Printf
   4
   5 type table = RA.table
   6
   7 let all : table list ref = ref []
   8
   9 (** @raise Error when no such table *)
  10 let get_from tables name =
  11   try
  12     List.find (fun (n,_) -> n = name) tables
  13   with Not_found -> failwith (sprintf "no such table %s" name)
  14
  15 let get name = get_from !all name
  16 let get_scheme name = snd (get name)
  17
  18 let add v = all := v :: !all
  19
  20 let print () = List.iter RA.print_table !all