Nicer variable names

Author: pavpanchekha

ops/arith.rkt

@@ -28,19 +28,19 @@
 (define (ival-add! out x y)
   (match-define (ival (endpoint xlo xlo!) (endpoint xhi xhi!) xerr? xerr) x)
   (match-define (ival (endpoint ylo ylo!) (endpoint yhi yhi!) yerr? yerr) y)
-  (define-values (lo-val lo-imm?) (eplinear! (ival-lo-val out) mpfr-add! xlo xlo! ylo ylo! 'down))
-  (define-values (hi-val hi-imm?) (eplinear! (ival-hi-val out) mpfr-add! xhi xhi! yhi yhi! 'up))
-  (ival (endpoint lo-val lo-imm?) (endpoint hi-val hi-imm?) (or xerr? yerr?) (or xerr yerr)))
+  (define-values (lo lo!) (eplinear! (ival-lo-val out) mpfr-add! xlo xlo! ylo ylo! 'down))
+  (define-values (hi hi!) (eplinear! (ival-hi-val out) mpfr-add! xhi xhi! yhi yhi! 'up))
+  (ival (endpoint lo lo!) (endpoint hi hi!) (or xerr? yerr?) (or xerr yerr)))
 
 (define (ival-add x y)
   (ival-add! (new-ival (bf-precision)) x y))
 
 (define (ival-sub! out x y)
   (match-define (ival (endpoint xlo xlo!) (endpoint xhi xhi!) xerr? xerr) x)
   (match-define (ival (endpoint ylo ylo!) (endpoint yhi yhi!) yerr? yerr) y)
-  (define-values (lo-val lo-imm?) (eplinear! (ival-lo-val out) mpfr-sub! xlo xlo! yhi yhi! 'down))
-  (define-values (hi-val hi-imm?) (eplinear! (ival-hi-val out) mpfr-sub! xhi xhi! ylo ylo! 'up))
-  (ival (endpoint lo-val lo-imm?) (endpoint hi-val hi-imm?) (or xerr? yerr?) (or xerr yerr)))
+  (define-values (lo lo!) (eplinear! (ival-lo-val out) mpfr-sub! xlo xlo! yhi yhi! 'down))
+  (define-values (hi hi!) (eplinear! (ival-hi-val out) mpfr-sub! xhi xhi! ylo ylo! 'up))
+  (ival (endpoint lo lo!) (endpoint hi hi!) (or xerr? yerr?) (or xerr yerr)))
 
 (define (ival-sub x y)
   (ival-sub! (new-ival (bf-precision)) x y))
@@ -161,9 +161,9 @@
   (define err (or (ival-err x) (ival-err y)))
   (match-define (ival (endpoint xlo xlo!) (endpoint xhi xhi!) _ _) (ival-exact-fabs x))
   (match-define (ival (endpoint ylo ylo!) (endpoint yhi yhi!) _ _) (ival-exact-fabs y))
-  (define-values (lo-val lo-imm?) (eplinear! (ival-lo-val out) mpfr-hypot! xlo xlo! ylo ylo! 'down))
-  (define-values (hi-val hi-imm?) (eplinear! (ival-hi-val out) mpfr-hypot! xhi xhi! yhi yhi! 'up))
-  (ival (endpoint lo-val lo-imm?) (endpoint hi-val hi-imm?) err? err))
+  (define-values (lo lo!) (eplinear! (ival-lo-val out) mpfr-hypot! xlo xlo! ylo ylo! 'down))
+  (define-values (hi hi!) (eplinear! (ival-hi-val out) mpfr-hypot! xhi xhi! yhi yhi! 'up))
+  (ival (endpoint lo lo!) (endpoint hi hi!) err? err))
 
 (define (ival-hypot x y)
   (ival-hypot! (new-ival (bf-precision)) x y))