Skip to content

Commit ab743e1

Browse files
authored
Merge pull request #141 from herbie-fp/fix-repl
Two minor bugs in the REPL, fixed
2 parents 88bbafa + 49d15a4 commit ab743e1

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

repl.rkt

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -58,7 +58,7 @@
5858
(for/first ([exec (in-list execs)]
5959
#:when (and (or (not target-iter) (= (car exec) target-iter))
6060
(or (not target-id) (= (execution-number (cdr exec)) target-id))
61-
(or (not target-name) (= (execution-name (cdr exec)) target-name))))
61+
(or (not target-name) (eq? (execution-name (cdr exec)) target-name))))
6262
exec))
6363
(if entry
6464
(value (car entry) (cdr entry))
@@ -85,7 +85,7 @@
8585
(define (repl-value->string val)
8686
(cond
8787
[(bigfloat? val) (bigfloat->string val)]
88-
[(number? val) (~r val)]
88+
[(number? val) (~a val)]
8989
[else (~a val)]))
9090

9191
(define (repl-precision-bits repl)

0 commit comments

Comments
 (0)