Cleanup.

jamestiotio · Feb 19, 2021 · ada8683 · ada8683
1 parent 8fabaa8
commit ada8683
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 4 deletions.
diff --git 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
@@ -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?)