From ada8683db97629ad3dbb6b5a811c32a8d79ff03b Mon Sep 17 00:00:00 2001 From: Emina Torlak Date: Fri, 19 Feb 2021 14:42:07 -0800 Subject: [PATCH] Cleanup. --- rosette/guide/scribble/welcome/welcome.scrbl | 10 +++++++--- sdsl/ifc/machine.rkt | 2 +- 2 files changed, 8 insertions(+), 4 deletions(-) diff --git a/rosette/guide/scribble/welcome/welcome.scrbl b/rosette/guide/scribble/welcome/welcome.scrbl index 7c2c0a55..fac3c5ec 100644 --- a/rosette/guide/scribble/welcome/welcome.scrbl +++ b/rosette/guide/scribble/welcome/welcome.scrbl @@ -22,7 +22,7 @@ The name "Rosette" refers both to the language and the whole system. To install Rosette, you will need to -@itemlist[@item{Download and install @hyperlink["http://racket-lang.org"]{Racket} (version 7.0 or later).} +@itemlist[@item{Download and install @hyperlink["http://racket-lang.org"]{Racket} (version 8.0 or later).} @item{Use Racket's @tt{raco} tool to install Rosette: @nested{ @verbatim|{> raco pkg install rosette}|}}] @@ -50,5 +50,9 @@ To use the unsafe dialect, type this line instead: @racketmod[rosette] -We strongly recommend that you start with the safe dialect, which includes a core subset of Racket. The unsafe dialect includes all of Racket, but unless you understand and observe the restrictions on using non-core features, your seemingly correct programs may crash or produce unexpected results. - +We strongly recommend that you start with the safe dialect, +which includes a core subset of Racket. The unsafe dialect +includes all of Racket, but unless you understand and +observe the restrictions on using non-core features, +seemingly correct programs may crash or produce unexpected +results. diff --git a/sdsl/ifc/machine.rkt b/sdsl/ifc/machine.rkt index ab4000c9..4db315cb 100644 --- a/sdsl/ifc/machine.rkt +++ b/sdsl/ifc/machine.rkt @@ -93,7 +93,7 @@ ; Functionally stores the given value at the given index in the machine's memory. ; (-> machine? integer? value? machine?) (define (write m idx v) - (struct-copy machine m [mem (replace (machine-mem m) idx v)])) + (struct-copy machine m [mem (list-set (machine-mem m) idx v)])) ; Functionally sets the machine's pc to the given value. ; (-> machine? value? machine?)