Project

General

Profile

Revision 8d164031 src/plugins/mpfr/mpfr.ml

View differences:

src/plugins/mpfr/mpfr.ml
16 16
open Normalization
17 17
open Machine_code_common
18 18

  
19
let report = Log.report ~plugin:"MPFR"
20
           
19 21
let mpfr_module = mktop (Open(false, "mpfr_lustre"))
20 22
let cpt_fresh = ref 0
21 23
  
......
99 101
  | "!="     -> "MPFRNeq"
100 102
  (* Conv functions *)
101 103
  | "int_to_real" -> "MPFRint_to_real"
104
  | "real_to_int" -> "MPFRreal_to_int"
105
  | "_floor" -> "MPFRfloor"        
106
  | "_ceil" -> "MPFRceil"        
107
  | "_round" -> "MPFRround"        
108
  | "_Floor" -> "MPFRFloor"        
109
  | "_Ceiling" -> "MPFRCeiling"        
110
  | "_Round" -> "MPFRRound"        
111
       
102 112
  (* Math library functions *)
103 113
  | "acos" -> "MPFRacos"
104 114
  | "acosh" -> "MPFRacosh"
......
128 138
  | _        -> raise Not_found
129 139

  
130 140
let inject_op id =
131
  Format.eprintf "trying to inject mpfr into function %s@." id;
141
  report ~level:3 (fun fmt -> Format.fprintf fmt "trying to inject mpfr into function %s@." id);
132 142
  try
133 143
    base_inject_op id
134 144
  with Not_found -> id

Also available in: Unified diff