| /dports/lang/racket-minimal/racket-8.3/collects/racket/contract/private/ |
| H A D | orc.rkt | 142 (define (single-or/c-stronger? this that)
148 (generic-or/c-stronger? this that)))
272 #:stronger single-or/c-stronger?
288 #:stronger single-or/c-stronger?
369 (define (multi-or/c-stronger? this that)
404 #:stronger multi-or/c-stronger?
420 #:stronger multi-or/c-stronger?
440 #:stronger
544 #:stronger multi-or/c-stronger?
556 #:stronger generic-or/c-stronger?
[all …]
|
| H A D | unconstrained-domain-arrow.rkt | 103 (define (unconstrained-domain->-stronger this that)
105 (pairwise-stronger-contracts? (unconstrained-domain->-ranges this)
119 #:stronger unconstrained-domain->-stronger))
129 #:stronger unconstrained-domain->-stronger))
|
| H A D | vector.rkt | 106 (define (vectorof-stronger this that)
116 (contract-struct-stronger? this-elem that-elem)]
120 (contract-struct-stronger? this-elem that-elem)
152 #:stronger vectorof-stronger))
323 #:stronger vectorof-stronger
334 #:stronger vectorof-stronger
413 (define (vector/c-stronger this that)
442 (contract-struct-stronger? this-elem that-elem))]
467 #:stronger vector/c-stronger
656 #:stronger vector/c-stronger
[all …]
|
| H A D | and.rkt | 60 (define (and-stronger? this that)
62 (pairwise-stronger-contracts? (base-and/c-ctcs this)
137 [(pairwise-stronger-contracts?
155 #:stronger and-stronger?
166 #:stronger and-stronger?
177 #:stronger and-stronger?
317 (define (integer-in-stronger this that)
373 #:stronger integer-in-stronger
383 #:stronger integer-in-stronger
|
| H A D | box.rkt | 89 (define (box/c-stronger this that)
101 (contract-struct-stronger? this-content-r that-content-r)]
109 (and (contract-struct-stronger? this-content-r that-content-r)
110 (contract-struct-stronger? that-content-w this-content-w)))]
141 #:stronger box/c-stronger
213 #:stronger box/c-stronger
224 #:stronger box/c-stronger
|
| H A D | hash.rkt | 159 (define (hash/c-stronger this that)
171 (and (contract-struct-stronger? this-dom that-dom)
172 (contract-struct-stronger? this-rng that-rng))]
249 #:stronger hash/c-stronger
368 #:stronger hash/c-stronger
380 #:stronger hash/c-stronger
409 (define (hash/dc-stronger this that) #f)
462 #:stronger hash/dc-stronger
472 #:stronger hash/dc-stronger
482 #:stronger hash/dc-stronger
|
| /dports/lang/racket/racket-8.3/share/pkgs/typed-racket-lib/typed-racket/utils/ |
| H A D | evt-contract.rkt | 50 ;; evt/c-stronger? : Contract Contract -> Boolean
51 (define (evt/c-stronger? this that)
56 (contract-stronger? this-ctcs that-ctcs)]
72 #:stronger evt/c-stronger?
|
| H A D | sealing-contract.rkt | 36 ;; see if the instantiated contract is stronger
53 (define sealing-contract-stronger?
54 (make-sealing-contract-<=? contract-stronger? superset?))
67 #:stronger sealing-contract-stronger?
109 #:stronger (λ (this that) (eq? this that))
|
| /dports/lang/racket/racket-8.3/collects/racket/contract/private/ |
| H A D | unconstrained-domain-arrow.rkt | 103 (define (unconstrained-domain->-stronger this that)
105 (pairwise-stronger-contracts? (unconstrained-domain->-ranges this)
119 #:stronger unconstrained-domain->-stronger))
129 #:stronger unconstrained-domain->-stronger))
|
| H A D | vector.rkt | 106 (define (vectorof-stronger this that)
116 (contract-struct-stronger? this-elem that-elem)]
120 (contract-struct-stronger? this-elem that-elem)
152 #:stronger vectorof-stronger))
323 #:stronger vectorof-stronger
334 #:stronger vectorof-stronger
413 (define (vector/c-stronger this that)
442 (contract-struct-stronger? this-elem that-elem))]
467 #:stronger vector/c-stronger
656 #:stronger vector/c-stronger
[all …]
|
| H A D | and.rkt | 60 (define (and-stronger? this that)
62 (pairwise-stronger-contracts? (base-and/c-ctcs this)
137 [(pairwise-stronger-contracts?
155 #:stronger and-stronger?
166 #:stronger and-stronger?
177 #:stronger and-stronger?
317 (define (integer-in-stronger this that)
373 #:stronger integer-in-stronger
383 #:stronger integer-in-stronger
|
| H A D | box.rkt | 89 (define (box/c-stronger this that)
101 (contract-struct-stronger? this-content-r that-content-r)]
109 (and (contract-struct-stronger? this-content-r that-content-r)
110 (contract-struct-stronger? that-content-w this-content-w)))]
141 #:stronger box/c-stronger
213 #:stronger box/c-stronger
224 #:stronger box/c-stronger
|
| H A D | hash.rkt | 159 (define (hash/c-stronger this that)
171 (and (contract-struct-stronger? this-dom that-dom)
172 (contract-struct-stronger? this-rng that-rng))]
249 #:stronger hash/c-stronger
368 #:stronger hash/c-stronger
380 #:stronger hash/c-stronger
409 (define (hash/dc-stronger this that) #f)
462 #:stronger hash/dc-stronger
472 #:stronger hash/dc-stronger
482 #:stronger hash/dc-stronger
|
| /dports/lang/rust/rustc-1.58.1-src/src/test/ui/lint/ |
| H A D | lint-invalid-atomic-ordering-exchange.stderr | 82 error: compare_exchange's failure ordering may not be stronger than the success ordering of `Releas…
90 error: compare_exchange's failure ordering may not be stronger than the success ordering of `Releas…
98 error: compare_exchange's failure ordering may not be stronger than the success ordering of `Relaxe…
106 error: compare_exchange's failure ordering may not be stronger than the success ordering of `Relaxe…
114 error: compare_exchange's failure ordering may not be stronger than the success ordering of `Acquir…
122 error: compare_exchange's failure ordering may not be stronger than the success ordering of `AcqRel`
|
| H A D | lint-invalid-atomic-ordering-exchange-weak.stderr | 82 error: compare_exchange_weak's failure ordering may not be stronger than the success ordering of `R…
90 error: compare_exchange_weak's failure ordering may not be stronger than the success ordering of `R…
98 error: compare_exchange_weak's failure ordering may not be stronger than the success ordering of `R…
106 error: compare_exchange_weak's failure ordering may not be stronger than the success ordering of `R…
114 error: compare_exchange_weak's failure ordering may not be stronger than the success ordering of `A…
122 error: compare_exchange_weak's failure ordering may not be stronger than the success ordering of `A…
|
| H A D | lint-invalid-atomic-ordering-fetch-update.stderr | 82 error: fetch_update's failure ordering may not be stronger than the success ordering of `Release`
90 error: fetch_update's failure ordering may not be stronger than the success ordering of `Release`
98 error: fetch_update's failure ordering may not be stronger than the success ordering of `Relaxed`
106 error: fetch_update's failure ordering may not be stronger than the success ordering of `Relaxed`
114 error: fetch_update's failure ordering may not be stronger than the success ordering of `Acquire`
122 error: fetch_update's failure ordering may not be stronger than the success ordering of `AcqRel`
|
| /dports/multimedia/libv4l/linux-5.13-rc2/Documentation/litmus-tests/atomic/ |
| H A D | Atomic-RMW+mb__after_atomic-is-stronger-than-acquire.litmus | 1 C Atomic-RMW+mb__after_atomic-is-stronger-than-acquire
7 * stronger than a normal acquire: both the read and write parts of
|
| /dports/multimedia/v4l-utils/linux-5.13-rc2/Documentation/litmus-tests/atomic/ |
| H A D | Atomic-RMW+mb__after_atomic-is-stronger-than-acquire.litmus | 1 C Atomic-RMW+mb__after_atomic-is-stronger-than-acquire
7 * stronger than a normal acquire: both the read and write parts of
|
| /dports/multimedia/v4l_compat/linux-5.13-rc2/Documentation/litmus-tests/atomic/ |
| H A D | Atomic-RMW+mb__after_atomic-is-stronger-than-acquire.litmus | 1 C Atomic-RMW+mb__after_atomic-is-stronger-than-acquire
7 * stronger than a normal acquire: both the read and write parts of
|
| /dports/archivers/dpkg/dpkg-1.19.7/scripts/ |
| H A D | dpkg-shlibdeps.pl | 521 my $stronger;
524 $stronger = 0;
526 $stronger = 0; # If the dep is unversioned
528 $stronger = 1; # If the dep seen is unversioned
532 $stronger = 0;
534 $stronger = 1;
536 $depseen{$dep} = $dependencies{$field}{$dep} if $stronger;
537 return $stronger;
|
| /dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/third_party/dpkg-shlibdeps/ |
| H A D | dpkg-shlibdeps.pl | 534 my $stronger;
537 $stronger = 0;
539 $stronger = 0; # If the dep is unversioned
541 $stronger = 1; # If the dep seen is unversioned
545 $stronger = 0;
547 $stronger = 1;
549 $depseen{$dep} = $dependencies{$field}{$dep} if $stronger;
550 return $stronger;
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/dpkg-shlibdeps/ |
| H A D | dpkg-shlibdeps.pl | 534 my $stronger;
537 $stronger = 0;
539 $stronger = 0; # If the dep is unversioned
541 $stronger = 1; # If the dep seen is unversioned
545 $stronger = 0;
547 $stronger = 1;
549 $depseen{$dep} = $dependencies{$field}{$dep} if $stronger;
550 return $stronger;
|
| /dports/misc/usd/USD-21.11/pxr/usd/pcp/testenv/testPcpMuseum_TrickyVariantAncestralSelection.testenv/TrickyVariantAncestralSelection/ |
| H A D | root.sdf | 9 in /C. /C is the stronger source, so we have {v1=C} for /Root/B/C.
10 Variant selections from stronger arc types also take precedence,
|
| /dports/misc/vxl/vxl-3.3.2/contrib/brl/bseg/sdet/ |
| H A D | sdet_contour.h | 162 vtol_edge_2d_sptr& stronger,
169 vtol_edge_2d_sptr const& stronger,
181 int& index, vtol_edge_2d_sptr const& stronger,
|
| /dports/security/palisade/palisade-release-d76213499af44558170cca6c72c5314755fec23c/ |
| H A D | Security.md | 7 …ncio attack, we extended the original CKKS (starting with v1.10.6) to a stronger adversarial model…
9 …stronger adversarial model is needed (uncommon scenarios), the user can increase the number of sha…
|