Project

General

Profile

Revision d948c0bd src/plugins/mpfr/mpfr.ml

View differences:

src/plugins/mpfr/mpfr.ml
97 97
  | ">"      -> "MPFRGt"
98 98
  | "="      -> "MPFREq"
99 99
  | "!="     -> "MPFRNeq"
100
  (* Math library functions *)
101
  | "acos" -> "MPFRacos"
102
  | "acosh" -> "MPFRacosh"
103
  | "asin" -> "MPFRasin"
104
  | "asinh" -> "MPFRasinh"
105
  | "atan" -> "MPFRatan"
106
  | "atan2" -> "MPFRatan2"
107
  | "atanh" -> "MPFRatanh"
108
  | "cbrt" -> "MPFRcbrt"
109
  | "cos" -> "MPFRcos"
110
  | "cosh" -> "MPFRcosh"
111
  | "ceil" -> "MPFRceil"
112
  | "erf" -> "MPFRerf"
113
  | "exp" -> "MPFRexp"
114
  | "fabs" -> "MPFRfabs"
115
  | "floor" -> "MPFRfloor"
116
  | "fmod" -> "MPFRfmod"
117
  | "log" -> "MPFRlog"
118
  | "log10" -> "MPFRlog10"
119
  | "pow" -> "MPFRpow"
120
  | "round" -> "MPFRround"
121
  | "sin" -> "MPFRsin"
122
  | "sinh" -> "MPFRsinh"
123
  | "sqrt" -> "MPFRsqrt"
124
  | "trunc" -> "MPFRtrunc"
125
  | "tan" -> "MPFRtan"
126

  
127
           
128
  | "pow"    -> "MPFRpow"
100 129
  | _        -> raise Not_found
101 130

  
102 131
let inject_op id =
132
  Format.eprintf "trying to inject mpfr into function %s@." id;
103 133
  try
104 134
    base_inject_op id
105 135
  with Not_found -> id

Also available in: Unified diff