| /dports/lang/racket-minimal/racket-8.3/src/expander/extract/ |
| H A D | known-primitive.rkt | 2 (require "../compile/known.rkt")
22 (hash-set! seen-defns 'length (known-function-of-satisfying '(list)))
24 (hash-set! seen-defns 'arity-at-least-value (known-function-of-satisfying '(arity-at-least)))
26 (hash-set! seen-defns 'procedure-arity (known-function-of-satisfying '(procedure)))
27 (hash-set! seen-defns 'procedure-arity-mask (known-function-of-satisfying '(procedure)))
28 (hash-set! seen-defns 'object-name (known-function 1 #t)) ; assuming no `prop:object-name`
29 (hash-set! seen-defns 'procedure-rename (known-function-of-satisfying '(procedure symbol)))
30 (hash-set! seen-defns 'prop:custom-write (known-property-of-function 3))
31 (hash-set! seen-defns 'prop:exn:srclocs (known-property-of-function 1))
34 (hash-set! seen-defns 'prop:impersonator-of (known-property-of-function 1))
[all …]
|
| H A D | defn-known.rkt | 7 "../compile/known.rkt")
8 (provide add-defn-known!)
27 (known-function arity
75 ;; Strip away a `begin` that's there to record a function name:
85 ;; grows. We'll only conclude that the function is pure overall if
93 (known-function
163 [(property-function-guard-arity guard)
164 => known-property-of-function]
167 (known-function 1 #t)
168 (known-function 1 #f)))]
[all …]
|
| /dports/lang/racket/racket-8.3/src/expander/extract/ |
| H A D | known-primitive.rkt | 2 (require "../compile/known.rkt")
22 (hash-set! seen-defns 'length (known-function-of-satisfying '(list)))
24 (hash-set! seen-defns 'arity-at-least-value (known-function-of-satisfying '(arity-at-least)))
26 (hash-set! seen-defns 'procedure-arity (known-function-of-satisfying '(procedure)))
27 (hash-set! seen-defns 'procedure-arity-mask (known-function-of-satisfying '(procedure)))
28 (hash-set! seen-defns 'object-name (known-function 1 #t)) ; assuming no `prop:object-name`
29 (hash-set! seen-defns 'procedure-rename (known-function-of-satisfying '(procedure symbol)))
30 (hash-set! seen-defns 'prop:custom-write (known-property-of-function 3))
31 (hash-set! seen-defns 'prop:exn:srclocs (known-property-of-function 1))
34 (hash-set! seen-defns 'prop:impersonator-of (known-property-of-function 1))
[all …]
|
| H A D | defn-known.rkt | 7 "../compile/known.rkt")
8 (provide add-defn-known!)
27 (known-function arity
75 ;; Strip away a `begin` that's there to record a function name:
85 ;; grows. We'll only conclude that the function is pure overall if
93 (known-function
163 [(property-function-guard-arity guard)
164 => known-property-of-function]
167 (known-function 1 #t)
168 (known-function 1 #f)))]
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/expander/compile/ |
| H A D | known.rkt | 3 (provide (struct-out known-defined)
5 (struct-out known-property)
6 (struct-out known-property-of-function)
7 (struct-out known-function)
8 (struct-out known-function-of-satisfying)
25 (struct known-property-of-function (arity) #:prefab)
27 ;; it is given a function with a known arity
29 (struct known-function (arity pure?) #:prefab)
30 ;; function of known arity and maybe known pure (at least, no side effect), where
33 (struct known-function-of-satisfying (arg-predicate-keys) #:prefab)
[all …]
|
| /dports/lang/racket/racket-8.3/src/expander/compile/ |
| H A D | known.rkt | 3 (provide (struct-out known-defined)
5 (struct-out known-property)
6 (struct-out known-property-of-function)
7 (struct-out known-function)
8 (struct-out known-function-of-satisfying)
25 (struct known-property-of-function (arity) #:prefab)
27 ;; it is given a function with a known arity
29 (struct known-function (arity pure?) #:prefab)
30 ;; function of known arity and maybe known pure (at least, no side effect), where
33 (struct known-function-of-satisfying (arg-predicate-keys) #:prefab)
[all …]
|
| /dports/lang/rust/rustc-1.58.1-src/src/test/ui/suggestions/ |
| H A D | unsized-function-parameter.stderr | 1 error[E0277]: the size for values of type `str` cannot be known at compilation time
2 --> $DIR/unsized-function-parameter.rs:5:9
5 | ^^^ doesn't have a size known at compile-time
9 help: function arguments must have a statically known size, borrowed types always have a known size
14 error[E0277]: the size for values of type `str` cannot be known at compilation time
15 --> $DIR/unsized-function-parameter.rs:11:9
18 | ^^^^ doesn't have a size known at compile-time
22 help: function arguments must have a statically known size, borrowed types always have a known size
28 --> $DIR/unsized-function-parameter.rs:17:9
31 | ^ doesn't have a size known at compile-time
[all …]
|
| H A D | unsized-function-parameter.fixed | 6 //~^ ERROR the size for values of type `str` cannot be known at compilation time
9 //~| HELP function arguments must have a statically known size, borrowed types always have a known …
12 //~^ ERROR the size for values of type `str` cannot be known at compilation time
15 //~| HELP function arguments must have a statically known size, borrowed types always have a known …
18 //~^ ERROR the size for values of type `str` cannot be known at compilation time
21 //~| HELP function arguments must have a statically known size, borrowed types always have a known …
|
| /dports/textproc/zorba/zorba-2.7.0/modules/com/zorba-xquery/www/modules/introspection/ |
| H A D | sctx.xq | 35 : The function returns a list of known statically known namespaces as prefixes
41 declare function sctx:statically-known-namespaces() as xs:string* external;
45 : with the statically-known-namespace-bindings() function.
54 declare function sctx:statically-known-namespace-binding($prefix as xs:string) as xs:string? extern…
75 : The function returns the statically known default collection type. This
186 : The function returns one of statically known collations that is used by
197 : The function returns a sequence that contains the URIs of all statically known documents.
203 declare function sctx:statically-known-documents() as xs:anyURI* external;
213 declare function sctx:statically-known-document-type($document as xs:string) as xs:QName external;
216 : The function returns a sequence that contains the statically known collations.
[all …]
|
| /dports/math/gap/gap-4.11.0/pkg/polymaking-0.8.2/lib/ |
| H A D | Objects.gi | 41 function(poly)
61 function(poly)
91 function(poly)
99 function(poly)
106 function(poly)
114 function(poly)
130 function(poly)
146 local known;
148 if known=fail or not name in known
167 function(poly)
[all …]
|
| /dports/lang/rust/rustc-1.58.1-src/src/tools/clippy/tests/ui/crashes/ |
| H A D | ice-6251.stderr | 1 error[E0601]: `main` function not found in crate `ice_6251`
7 | |_^ consider adding a `main` function to `$DIR/ice-6251.rs`
9 error[E0277]: the size for values of type `[u8]` cannot be known at compilation time
13 | ^ doesn't have a size known at compile-time
17 help: function arguments must have a statically known size, borrowed types always have a known size
22 error[E0277]: the size for values of type `[u8]` cannot be known at compilation time
26 … | ^ doesn't have a size known at compile-time
29 = note: the return type of a function must have a statically known size
|
| /dports/math/gap/gap-4.11.0/pkg/semigroups-3.2.3/gap/main/ |
| H A D | fropin.gi | 73 function(R)
93 function(R)
109 function(S)
141 function(S)
224 function(S)
239 "for an enumerable semigroup with known generators",
289 "for an enumerable semigroup with known generators",
316 "for an enumerable semigroup with known generators",
340 "for an enumerable semigroup with known generators",
412 "for an enumerable semigroup with known generators",
[all …]
|
| /dports/math/gap/gap-4.11.0/pkg/YangBaxter-0.9.0/lib/ |
| H A D | tau.gi | 6 function(l, p)
15 function(obj)
20 function(obj)
25 function(obj)
31 local known, implemented, dir, filename;
32 known := IsBound(TGS[size]);
33 if not known then
68 local known, implemented, dir, filename;
69 known := IsBound(TGS[size]);
70 if not known then
[all …]
|
| /dports/math/gap/gap-4.11.0/pkg/SCSCP-2.3.1/example/ |
| H A D | orbits.g | 8 # locally maintained list of known orbits
11 # emptying the local list of known orbits
12 ResetOrbits:=function()
18 NewOrbit := function( G, pnt )
26 NewOrbitOnRight := function( G, pnt )
33 # checking if an element is from any of the locally stored known orbits
34 IsKnownElement:=function( elt )
39 # returning the number of locally stored known orbits
40 NumberOfStoredOrbits:=function()
|
| /dports/www/castor/castor-0.8.16/cargo-crates/pin-project-0.4.26/tests/ui/pin_project/ |
| H A D | project_replace_unsized.stderr | 1 error[E0277]: the size for values of type `T` cannot be known at compilation time
5 | ^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
11 help: function arguments must have a statically known size, borrowed types always have a known size
16 error[E0277]: the size for values of type `T` cannot be known at compilation time
22 | ^ doesn't have a size known at compile-time
28 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
33 = note: structs must have a statically known size to be initialized
40 | ^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
46 help: function arguments must have a statically known size, borrowed types always have a known size
67 | doesn't have a size known at compile-time
[all …]
|
| /dports/security/rustscan/RustScan-2.0.1/cargo-crates/pin-project-1.0.1/tests/ui/pin_project/ |
| H A D | project_replace_unsized.stderr | 1 error[E0277]: the size for values of type `T` cannot be known at compilation time
5 | ^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
11 help: function arguments must have a statically known size, borrowed types always have a known size
16 error[E0277]: the size for values of type `T` cannot be known at compilation time
22 | ^ doesn't have a size known at compile-time
28 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
33 = note: structs must have a statically known size to be initialized
40 | ^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
46 help: function arguments must have a statically known size, borrowed types always have a known size
67 | doesn't have a size known at compile-time
[all …]
|
| /dports/net/exabgp4/exabgp-4.2.13/lib/exabgp/configuration/core/ |
| H A D | section.py | 18 known = dict() # command/section and code to handle it variable in Section
36 def inner(function): argument
38 if identifier in cls.known:
40 cls.known[identifier] = function
42 return function
60 identifier = command if command in self.known else (self.name, command)
61 if identifier not in self.known:
63 … 'unknown command %s options are %s' % (command, ', '.join([str(_) for _ in self.known]))
68 insert = self.known[identifier](self.tokeniser.iterate, self.default[command])
70 insert = self.known[identifier](self.tokeniser.iterate)
|
| /dports/net/gemserv/gemserv-v0.4.5/cargo-crates/pin-project-1.0.2/tests/ui/pin_project/ |
| H A D | project_replace_unsized.stderr | 1 error[E0277]: the size for values of type `T` cannot be known at compilation time
5 | ^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
11 help: function arguments must have a statically known size, borrowed types always have a known size
16 error[E0277]: the size for values of type `T` cannot be known at compilation time
22 | ^ doesn't have a size known at compile-time
28 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
33 = note: structs must have a statically known size to be initialized
40 | ^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
46 help: function arguments must have a statically known size, borrowed types always have a known size
67 | doesn't have a size known at compile-time
[all …]
|
| /dports/games/genact/genact-0.10.0/cargo-crates/pin-project-0.4.23/tests/ui/pin_project/ |
| H A D | project_replace_unsized.stderr | 1 error[E0277]: the size for values of type `T` cannot be known at compilation time
5 | ^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
11 help: function arguments must have a statically known size, borrowed types always have a known size
16 error[E0277]: the size for values of type `T` cannot be known at compilation time
22 | ^ doesn't have a size known at compile-time
28 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
33 = note: structs must have a statically known size to be initialized
40 | ^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
46 help: function arguments must have a statically known size, borrowed types always have a known size
67 | doesn't have a size known at compile-time
[all …]
|
| /dports/net/proby/proby-1.0.2/cargo-crates/pin-project-0.4.23/tests/ui/pin_project/ |
| H A D | project_replace_unsized.stderr | 1 error[E0277]: the size for values of type `T` cannot be known at compilation time
5 | ^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
11 help: function arguments must have a statically known size, borrowed types always have a known size
16 error[E0277]: the size for values of type `T` cannot be known at compilation time
22 | ^ doesn't have a size known at compile-time
28 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
33 = note: structs must have a statically known size to be initialized
40 | ^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
46 help: function arguments must have a statically known size, borrowed types always have a known size
67 | doesn't have a size known at compile-time
[all …]
|
| /dports/games/abstreet/abstreet-0.2.9-49-g74aca40c0/cargo-crates/pin-project-0.4.23/tests/ui/pin_project/ |
| H A D | project_replace_unsized.stderr | 1 error[E0277]: the size for values of type `T` cannot be known at compilation time
5 | ^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
11 help: function arguments must have a statically known size, borrowed types always have a known size
16 error[E0277]: the size for values of type `T` cannot be known at compilation time
22 | ^ doesn't have a size known at compile-time
28 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
33 = note: structs must have a statically known size to be initialized
40 | ^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
46 help: function arguments must have a statically known size, borrowed types always have a known size
67 | doesn't have a size known at compile-time
[all …]
|
| /dports/mail/thunderbird/thunderbird-91.8.0/third_party/rust/pin-project/tests/ui/pin_project/ |
| H A D | project_replace_unsized.stderr | 1 error[E0277]: the size for values of type `T` cannot be known at compilation time
5 | ^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
11 help: function arguments must have a statically known size, borrowed types always have a known size
16 error[E0277]: the size for values of type `T` cannot be known at compilation time
22 | ^ doesn't have a size known at compile-time
28 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
33 = note: structs must have a statically known size to be initialized
40 | ^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
46 help: function arguments must have a statically known size, borrowed types always have a known size
67 | doesn't have a size known at compile-time
[all …]
|
| /dports/net-im/fractal/fractal-4.4.0/vendor/pin-project/tests/ui/pin_project/ |
| H A D | project_replace_unsized.stderr | 1 error[E0277]: the size for values of type `T` cannot be known at compilation time
5 | ^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
11 help: function arguments must have a statically known size, borrowed types always have a known size
16 error[E0277]: the size for values of type `T` cannot be known at compilation time
22 | ^ doesn't have a size known at compile-time
28 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
33 = note: structs must have a statically known size to be initialized
40 | ^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
46 help: function arguments must have a statically known size, borrowed types always have a known size
67 | doesn't have a size known at compile-time
[all …]
|
| /dports/www/firefox-esr/firefox-91.8.0/third_party/rust/pin-project/tests/ui/pin_project/ |
| H A D | project_replace_unsized.stderr | 1 error[E0277]: the size for values of type `T` cannot be known at compilation time
5 | ^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
11 help: function arguments must have a statically known size, borrowed types always have a known size
16 error[E0277]: the size for values of type `T` cannot be known at compilation time
22 | ^ doesn't have a size known at compile-time
28 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
33 = note: structs must have a statically known size to be initialized
40 | ^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
46 help: function arguments must have a statically known size, borrowed types always have a known size
67 | doesn't have a size known at compile-time
[all …]
|
| /dports/sysutils/tealdeer/tealdeer-1.4.1/cargo-crates/pin-project-0.4.23/tests/ui/pin_project/ |
| H A D | project_replace_unsized.stderr | 1 error[E0277]: the size for values of type `T` cannot be known at compilation time
5 | ^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
11 help: function arguments must have a statically known size, borrowed types always have a known size
16 error[E0277]: the size for values of type `T` cannot be known at compilation time
22 | ^ doesn't have a size known at compile-time
28 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
33 = note: structs must have a statically known size to be initialized
40 | ^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
46 help: function arguments must have a statically known size, borrowed types always have a known size
67 | doesn't have a size known at compile-time
[all …]
|