Skip to content

Commit 9022f49

Browse files
committed
Fix test case in Hustle semantics.
1 parent 0dd3789 commit 9022f49

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

www/notes/hustle/semantics.rkt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -158,7 +158,7 @@
158158

159159
(test-judgment-holds (𝑯 (box 7) (box 7)))
160160
(test-judgment-holds (𝑯 (unbox (box 7)) 7))
161-
(test-judgment-holds (𝑯 (unbox 7) 'err))
161+
(test-judgment-holds (𝑯 (unbox 7) err))
162162

163163
(test-equal (term (convert '())) '())
164164
(test-equal (term (convert (cons 1 2))) '(1 . 2)))

0 commit comments

Comments
 (0)