the commit 2a1c8a78 contained stuff that was meant to be in bff0c41

so when it was reverted, we have to bring back that stuff
This commit is contained in:
Robby Findler 2018-04-27 18:58:42 -05:00
parent ef8101bde3
commit 8dbedc6a26

View File

@ -65,9 +65,9 @@
(define mtd-ctcs (object-contract-method-ctcs ctc)) (define mtd-ctcs (object-contract-method-ctcs ctc))
(λ (blame) (λ (blame)
(define p-app (define p-app
(make-wrapper-object blame mtds mtd-ctcs)) (make-wrapper-object blame mtds mtd-ctcs flds fld-ctcs))
(λ (val neg-party) (λ (val neg-party)
(p-app ctc val neg-party flds fld-ctcs)))) (p-app ctc val neg-party))))
#:name #:name
(λ (ctc) `(object-contract ,@(map (λ (fld ctc) (build-compound-type-name 'field fld ctc)) (λ (ctc) `(object-contract ,@(map (λ (fld ctc) (build-compound-type-name 'field fld ctc))
(object-contract-fields ctc) (object-contract-fields ctc)