← Back to branch summary

~ubuntu-branches/debian/sid/ocaml/sid

« back to all changes in this revision

Viewing changes to otherlibs/num/arith_status.ml

  • Committer: Bazaar Package Importer
  • Author(s): Stéphane Glondu
  • Date: 2011-04-21 21:35:08 UTC
  • mfrom: (1.1.11 upstream) (12.1.14 sid)
  • Revision ID: james.westby@ubuntu.com-20110421213508-kg34453aqmb0moha
* Fixes related to -output-obj with g++ (in debian/patches):
  - add Declare-primitive-name-table-as-const-char
  - add Avoid-multiple-declarations-in-generated-.c-files-in
  - fix Embed-bytecode-in-C-object-when-using-custom: the closing
    brace for extern "C" { ... } was missing in some cases

Show diffs side-by-side

added added

removed removed

Lines of Context:
otherlibs/num/arith_status.ml
11
11
(*                                                                     *)
12
12
(***********************************************************************)
13
13
 
14
 
(* $Id: arith_status.ml 4144 2001-12-07 13:41:02Z xleroy $ *)
 
14
(* $Id: arith_status.ml 9547 2010-01-22 12:48:24Z doligez $ *)
15
15
 
16
16
open Arith_flags;;
17
17
 
18
18
let get_error_when_null_denominator () =
19
 
  !error_when_null_denominator_flag 
 
19
  !error_when_null_denominator_flag
20
20
and set_error_when_null_denominator choice =
21
21
 error_when_null_denominator_flag := choice;;
22
22
 
23
 
let get_normalize_ratio () = !normalize_ratio_flag 
24
 
and set_normalize_ratio choice = normalize_ratio_flag := choice;; 
 
23
let get_normalize_ratio () = !normalize_ratio_flag
 
24
and set_normalize_ratio choice = normalize_ratio_flag := choice;;
25
25
 
26
 
let get_normalize_ratio_when_printing () = 
 
26
let get_normalize_ratio_when_printing () =
27
27
  !normalize_ratio_when_printing_flag
28
 
and set_normalize_ratio_when_printing choice = 
29
 
 normalize_ratio_when_printing_flag := choice;; 
 
28
and set_normalize_ratio_when_printing choice =
 
29
 normalize_ratio_when_printing_flag := choice;;
30
30
 
31
31
let get_floating_precision () = !floating_precision
32
32
and set_floating_precision i = floating_precision := i;;