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

fix use of the wrong val in contract optimization

Browse Source
This commit is contained in:
Matthew Flatt 2015-03-01 10:05:16 -07:00
parent efee5c4581
commit 6b81275af4
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
racket/collects/racket/contract/private/opters.rkt
View File

@ -122,14 +122,16 @@
[val (opt/info-val opt/info)])
(syntax
(if next-ps val ho-ctc)))]
;; FIXME something's not right with this case.
;; There used to be a note here: "something's not right with this case".
;; Possibly, the problem was the missing `(with-syntax ([val ....]) ....)`.
[(> (length hos) 1)
(define-values (exp new-lifts new-superlifts new-partials name) (opt/or-unknown stx))
(set! lift-from-hos new-lifts)
(set! superlift-from-hos new-superlifts)
(set! partial-from-hos new-partials)
(set! name-from-hos name)
#`(if next-ps val #,exp)])
(with-syntax ([val (opt/info-val opt/info)])
#`(if next-ps val #,exp))])
#:lifts
(append lift-ps lift-from-hos)
#:superlifts
@ -652,6 +654,7 @@
(+ arg-num 1))]))])
(values
(with-syntax ((blame (opt/info-blame opt/info))
(val (opt/info-val opt/info))
((dom-arg ...) dom-vars)
((next-dom ...) next-doms)
(dom-len (length dom-vars)))