From e30062aa1be751db14fb986b4f1a941c90f9ad37 Mon Sep 17 00:00:00 2001
From: Arun Isaac
Date: Tue, 23 Feb 2021 16:13:43 +0530
Subject: Rename function scope params argument to avoid name conflict.

* src/oracles.sc (bernoulli-extent-oracle, bernoulli-true-volume,
uniform-extent-oracle, uniform-true-volume, beta-extent-oracle,
beta-true-volume, cube-extent-oracle, cube-extent-oracle-with-center,
cube-true-volume, ellipsoid-extent-oracle, ellipsoid-true-volume,
spheroid-extent-oracle, spheroid-true-volume): Rename params argument
to -params.
---
 src/oracles.sc | 52 ++++++++++++++++++++++++++--------------------------
 1 file changed, 26 insertions(+), 26 deletions(-)

diff --git a/src/oracles.sc b/src/oracles.sc
index f0f53a8..173ac75 100644
--- a/src/oracles.sc
+++ b/src/oracles.sc
@@ -6,25 +6,25 @@
 (pre-include "oracles.h")
 (pre-include "utils.h")
 
-(define (bernoulli-extent-oracle r x params) (double (const gsl-rng*) (const gsl-vector*) void*)
-  (let* ((params (const bernoulli-params*) (convert-type params bernoulli-params*)))
+(define (bernoulli-extent-oracle r x -params) (double (const gsl-rng*) (const gsl-vector*) void*)
+  (let* ((params (const bernoulli-params*) (convert-type -params bernoulli-params*)))
     (return (if* (gsl-ran-bernoulli r (: params p))
                  (: params r1)
                  (: params r0)))))
 
-(define (bernoulli-true-volume dimension params) (double (unsigned int) void*)
-  (let* ((params (const bernoulli-params*) (convert-type params bernoulli-params*)))
+(define (bernoulli-true-volume dimension -params) (double (unsigned int) void*)
+  (let* ((params (const bernoulli-params*) (convert-type -params bernoulli-params*)))
     (return (* (volume-of-ball dimension)
                (+ (* (: params p) (gsl-pow-uint (: params r1) dimension))
                   (* (- 1 (: params p)) (gsl-pow-uint (: params r0) dimension)))))))
 
-(define (uniform-extent-oracle r x params) (double (const gsl-rng*) (const gsl-vector*) void*)
-  (let* ((params (const uniform-params*) (convert-type params uniform-params*)))
+(define (uniform-extent-oracle r x -params) (double (const gsl-rng*) (const gsl-vector*) void*)
+  (let* ((params (const uniform-params*) (convert-type -params uniform-params*)))
     (return (gsl-ran-flat r (: params a) (: params b)))))
 
 ;; TODO: Verify the accuracy of this function for non-trivial a, b.
-(define (uniform-true-volume dimension params) (double (unsigned int) void*)
-  (let* ((params (const uniform-params*) (convert-type params uniform-params*)))
+(define (uniform-true-volume dimension -params) (double (unsigned int) void*)
+  (let* ((params (const uniform-params*) (convert-type -params uniform-params*)))
     (return (- (exp (+ (ln-volume-of-ball dimension)
                        (* dimension (log (: params b)))
                        (- (log (+ dimension 1)))))
@@ -32,12 +32,12 @@
                        (* dimension (log (: params a)))
                        (- (log (+ dimension 1)))))))))
 
-(define (beta-extent-oracle r x params) (double (const gsl-rng*) (const gsl-vector*) void*)
-  (let* ((params (const beta-params*) (convert-type params beta-params*)))
+(define (beta-extent-oracle r x -params) (double (const gsl-rng*) (const gsl-vector*) void*)
+  (let* ((params (const beta-params*) (convert-type -params beta-params*)))
     (return (gsl-ran-beta r (: params alpha) (: params beta)))))
 
-(define (beta-true-volume dimension params) (double (unsigned int) void*)
-  (let* ((params (const beta-params*) (convert-type params beta-params*))
+(define (beta-true-volume dimension -params) (double (unsigned int) void*)
+  (let* ((params (const beta-params*) (convert-type -params beta-params*))
          (vol double (volume-of-ball dimension)))
     (for-i r dimension
       (set* vol (/ (+ (: params alpha) r)
@@ -52,8 +52,8 @@
       (set max (GSL-MAX max (fabs (gsl-vector-get x i)))))
     (return max)))
 
-(define (cube-extent-oracle r x params) (double (const gsl-rng*) (const gsl-vector*) void*)
-  (let* ((params (const cube-params*) (convert-type params cube-params*)))
+(define (cube-extent-oracle r x -params) (double (const gsl-rng*) (const gsl-vector*) void*)
+  (let* ((params (const cube-params*) (convert-type -params cube-params*)))
     (return (/ (: params edge) 2 (infinity-norm x)))))
 
 (sc-define-syntax (compute-cube-extent-oracle-minimizand i)
@@ -62,8 +62,8 @@
            (gsl-vector-get (: params center) i)))
      (fabs (gsl-vector-get x i))))
 
-(define (cube-extent-oracle-with-center r x params) (double (const gsl-rng*) (const gsl-vector*) void*)
-  (let* ((params (const cube-params*) (convert-type params cube-params*))
+(define (cube-extent-oracle-with-center r x -params) (double (const gsl-rng*) (const gsl-vector*) void*)
+  (let* ((params (const cube-params*) (convert-type -params cube-params*))
          (min double (compute-cube-extent-oracle-minimizand 0)))
     ;; TODO: Start this loop from i = 1, not i = 0. That would be
     ;; slightly faster.
@@ -71,34 +71,34 @@
       (set min (GSL-MIN min (compute-cube-extent-oracle-minimizand i))))
     (return min)))
 
-(define (cube-true-volume dimension params) (double (unsigned int) void*)
-  (let* ((params (const cube-params*) (convert-type params cube-params*)))
+(define (cube-true-volume dimension -params) (double (unsigned int) void*)
+  (let* ((params (const cube-params*) (convert-type -params cube-params*)))
     (return (gsl-pow-uint (: params edge) dimension))))
 
-(define (ellipsoid-extent-oracle r x params) (double (const gsl-rng*) (const gsl-vector*) void*)
-  (let* ((params (const ellipsoid-params*) (convert-type params ellipsoid-params*))
+(define (ellipsoid-extent-oracle r x -params) (double (const gsl-rng*) (const gsl-vector*) void*)
+  (let* ((params (const ellipsoid-params*) (convert-type -params ellipsoid-params*))
          (k double 0))
     (for-i i (: (: params axes) size)
       (set+ k (gsl-pow-2 (/ (gsl-vector-get x i)
                             (gsl-vector-get (: params axes) i)))))
     (return (/ (sqrt k)))))
 
-(define (ellipsoid-true-volume dimension params) (double (unsigned int) void*)
-  (let* ((params (const ellipsoid-params*) (convert-type params ellipsoid-params*))
+(define (ellipsoid-true-volume dimension -params) (double (unsigned int) void*)
+  (let* ((params (const ellipsoid-params*) (convert-type -params ellipsoid-params*))
          (vol double (volume-of-ball (: (: params axes) size))))
     (for-i i (: (: params axes) size)
       (set* vol (gsl-vector-get (: params axes) i)))
     (return vol)))
 
-(define (spheroid-extent-oracle r x params) (double (const gsl-rng*) (const gsl-vector*) void*)
-  (let* ((params (const spheroid-params*) (convert-type params spheroid-params*))
+(define (spheroid-extent-oracle r x -params) (double (const gsl-rng*) (const gsl-vector*) void*)
+  (let* ((params (const spheroid-params*) (convert-type -params spheroid-params*))
          (xsub gsl-vector-const-view
                (gsl-vector-const-subvector x 1 (- (: x size) 1))))
     (return (/ (sqrt (+ (gsl-pow-2 (gsl-blas-dnrm2 (address-of (struct-get xsub vector))))
                         (gsl-pow-2 (/ (gsl-vector-get x 0)
                                       (: params eccentricity)))))))))
 
-(define (spheroid-true-volume dimension params) (double (unsigned int) void*)
-  (let* ((params (const spheroid-params*) (convert-type params spheroid-params*)))
+(define (spheroid-true-volume dimension -params) (double (unsigned int) void*)
+  (let* ((params (const spheroid-params*) (convert-type -params spheroid-params*)))
     (return (* (volume-of-ball dimension)
                (: params eccentricity)))))
-- 
cgit v1.2.3