Skip to content

Commit

Permalink
fixes check-compiler string message error
Browse files Browse the repository at this point in the history
  • Loading branch information
anwarmamat committed Jun 7, 2024
1 parent 7cb925f commit 6919e3a
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion www/notes/con.scrbl
Original file line number Diff line number Diff line change
Expand Up @@ -308,7 +308,7 @@ Again, we formulate correctness as a property that can be tested:
(define (check-compiler e)
(check-equal? (asm-interp (compile e))
(interp e)
e))]
(~a e)))]

Generating random Con programs is essentially the same as Blackmail
programs, and are provided in a @link["con/random.rkt"]{random.rkt}
Expand Down

0 comments on commit 6919e3a

Please sign in to comment.