Skip to content

Commit

Permalink
update HISTORY for v8.13
Browse files Browse the repository at this point in the history
  • Loading branch information
rfindler committed May 2, 2024
1 parent 4d58afd commit df748d8
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 0 deletions.
4 changes: 4 additions & 0 deletions redex-lib/redex/HISTORY.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,7 @@
v8.13

* bug fix

v8.12

* documentation improvements
Expand Down
1 change: 1 addition & 0 deletions redex-lib/redex/private/binding-forms.rkt
Original file line number Diff line number Diff line change
Expand Up @@ -677,6 +677,7 @@ to traverse the whole value at once, rather than one binding form at a time.
(define maybe-car (if (value-with-spec? redex-val) values car))
(define maybe-cdr (if (value-with-spec? redex-val) values cdr))
(define maybe-drop (if (value-with-spec? redex-val) (λ (x y) x) drop))
(printf "body ~s\n" body)
(match body
;; I thought that `rename-reference`ing this subterm of the current form was
;; going to be a problem: `rename-reference` doesn't have any idea about the
Expand Down

0 comments on commit df748d8

Please sign in to comment.