Lines Matching refs:neg
29 [neg-ctc? #t])
37 neg-ctc?))]
38 [neg-ctc?
86 (define (check-hash/c dom-ctc immutable flat? val blame neg-party)
94 blame val #:missing-party neg-party
106 blame val #:missing-party neg-party
113 blame val #:missing-party neg-party
119 (raise-blame-error blame val #:missing-party neg-party
251 #:late-neg-projection
257 (define dom-proj ((get/build-late-neg-projection (base-hash/c-dom ctc))
259 (define rng-proj ((get/build-late-neg-projection (base-hash/c-rng ctc))
261 (λ (val neg-party)
263 [(check-hash/c dom-ctc immutable flat? val blame neg-party)
267 (dom-proj k neg-party)
268 (rng-proj v neg-party))
276 (define dom-proc (get/build-late-neg-projection dom-ctc))
277 (define rng-proc (get/build-late-neg-projection (base-hash/c-rng ctc)))
279 (define-values (dom-filled? maybe-pos-dom-proj maybe-neg-dom-proj)
280 (contract-pos/neg-doubling (dom-proc (blame-add-key-context blame #f))
282 (define-values (rng-filled? maybe-pos-rng-proj maybe-neg-rng-proj)
283 (contract-pos/neg-doubling (rng-proc (blame-add-value-context blame #f))
287 (λ (val neg-party)
289 [(check-hash/c dom-ctc immutable flat? val blame neg-party)
292 (handle-the-hash val neg-party
293 maybe-pos-dom-proj maybe-neg-dom-proj
294 (λ (v) maybe-pos-rng-proj) (λ (v) maybe-neg-rng-proj)
298 (λ (val neg-party)
299 (define-values (pos-dom-proj neg-dom-proj pos-rng-proj neg-rng-proj)
306 (define neg-dom-proj (maybe-neg-dom-proj))
308 (define neg-rng-proj (maybe-neg-rng-proj))
309 (thread-cell-set! tc (vector pos-dom-proj neg-dom-proj pos-rng-proj neg-rng-proj))
310 (values pos-dom-proj neg-dom-proj pos-rng-proj neg-rng-proj)]))
312 [(check-hash/c dom-ctc immutable flat? val blame neg-party)
315 (handle-the-hash val neg-party
316 pos-dom-proj neg-dom-proj
317 (λ (v) pos-rng-proj) (λ (v) neg-rng-proj)
323 (define (handle-the-hash val neg-party
324 pos-dom-proj neg-dom-proj mk-pos-rng-proj mk-neg-rng-proj
326 (define blame+neg-party (cons blame neg-party))
330 (pos-dom-proj k neg-party)
331 ((mk-pos-rng-proj k) v neg-party)))
336 blame+neg-party
337 (neg-dom-proj k neg-party))
340 blame+neg-party
341 ((mk-pos-rng-proj k) v neg-party)))))
344 blame+neg-party
345 (values (neg-dom-proj k neg-party)
346 ((mk-neg-rng-proj k) v neg-party))))
349 blame+neg-party
350 (neg-dom-proj k neg-party)))
353 blame+neg-party
354 (pos-dom-proj k neg-party)))
370 #:late-neg-projection (ho-projection chaperone-hash)))
382 #:late-neg-projection (ho-projection impersonate-hash)))
412 (define ((hash/dc-late-neg-projection chaperone-or-impersonate-hash) ctc)
416 (define dom-proc (get/build-late-neg-projection dom-ctc))
420 (define neg-dom-proj (dom-proc (blame-add-key-context blame #t)))
425 (define neg-value-blame (blame-add-value-context blame #t))
428 (λ (val neg-party)
430 [(check-hash/c dom-ctc immutable flat? val blame neg-party) val]
433 ((get/build-late-neg-projection (dep-rng-proc (indy-dom-proj key neg-party)))
435 (handle-the-hash val neg-party
436 pos-dom-proj neg-dom-proj
437 (mk-rng-proj pos-value-blame) (mk-rng-proj neg-value-blame)
440 (λ (val neg-party)
441 (check-hash/c dom-ctc immutable flat? val blame neg-party)
443 ((get/build-late-neg-projection (dep-rng-proc (indy-dom-proj key neg-party)))
446 (define mk-neg-rng-proj (mk-rng-proj neg-value-blame))
447 (with-contract-continuation-mark (cons blame neg-party)
449 (pos-dom-proj k neg-party)
450 ((mk-pos-rng-proj k) v neg-party)))
463 #:late-neg-projection (hash/dc-late-neg-projection #f)))
474 #:late-neg-projection (hash/dc-late-neg-projection chaperone-hash)))
484 #:late-neg-projection (hash/dc-late-neg-projection impersonate-hash)))