Skip to content

Commit 47a3eb8

Browse files
committed
Make sample-points a user error
1 parent a53cc79 commit 47a3eb8

File tree

1 file changed

+3
-5
lines changed

1 file changed

+3
-5
lines changed

src/points.rkt

Lines changed: 3 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -2,10 +2,7 @@
22

33
(require math/flonum)
44
(require math/bigfloat)
5-
(require "float.rkt")
6-
(require "common.rkt")
7-
(require "programs.rkt")
8-
(require "config.rkt")
5+
(require "float.rkt" "common.rkt" "programs.rkt" "config.rkt" "errors.rkt")
96

107
(provide *pcontext* in-pcontext mk-pcontext pcontext?
118
prepare-points prepare-points-period make-exacts
@@ -120,7 +117,8 @@
120117
and a list of exact values for those points (each a flonum)"
121118
; First, we generate points;
122119
(let loop ([pts '()] [exs '()] [num-loops 0])
123-
(cond [(> num-loops 200) (raise-user-error 'sample-points "Cannot sample enough valid points.\nSee <http://herbie.uwplse.org/doc/~a/faq.html#sample-valid-points> for more." *herbie-version*)]
120+
(cond [(> num-loops 200)
121+
(raise-herbie-error "Cannot sample enough valid points." #:url "faq.html#sample-valid-points")]
124122
[(>= (length pts) (*num-points*))
125123
(mk-pcontext (take pts (*num-points*)) (take exs (*num-points*)))]
126124
[#t (let* ([num (- (*num-points*) (length pts))]

0 commit comments

Comments
 (0)