suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix recursive-contract's name patch up code

Browse Source
This commit is contained in:
Robby Findler 2017-07-16 16:50:50 -05:00
parent 83540d1ae6
commit 5ecbc54fff
1 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
racket/collects/racket/contract/private/base.rkt
View File

@ -193,8 +193,13 @@
(unless (list-contract? forced-ctc)
(raise-argument-error 'recursive-contract "list-contract?" forced-ctc)))
(set-recursive-contract-ctc! ctc forced-ctc)
(set-recursive-contract-name! ctc (append `(recursive-contract ,(contract-name forced-ctc))
(cddr old-name)))
(when (and (pair? old-name) (pair? (cdr old-name)))
;; this guard will be #f when we are forcing this contract
;; in a nested which (which can make the `cddr` below fail)
;; in this case, there should be a pending `force-recursive-contract`
;; that will do the actual updating of the name to the right thing
(set-recursive-contract-name! ctc (append `(recursive-contract ,(contract-name forced-ctc))
(cddr old-name))))
forced-ctc]
[else current]))