From 49d15a4405f0a657aa997fa74ce82e04bb542ef9 Mon Sep 17 00:00:00 2001 From: Pavel Panchekha Date: Sun, 26 Oct 2025 20:59:26 -0600 Subject: [PATCH] Two minor bugs in the REPL, fixed --- repl.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/repl.rkt b/repl.rkt index c9236ae..56932c8 100644 --- a/repl.rkt +++ b/repl.rkt @@ -58,7 +58,7 @@ (for/first ([exec (in-list execs)] #:when (and (or (not target-iter) (= (car exec) target-iter)) (or (not target-id) (= (execution-number (cdr exec)) target-id)) - (or (not target-name) (= (execution-name (cdr exec)) target-name)))) + (or (not target-name) (eq? (execution-name (cdr exec)) target-name)))) exec)) (if entry (value (car entry) (cdr entry)) @@ -85,7 +85,7 @@ (define (repl-value->string val) (cond [(bigfloat? val) (bigfloat->string val)] - [(number? val) (~r val)] + [(number? val) (~a val)] [else (~a val)])) (define (repl-precision-bits repl)