| /dports/www/horde-ansel/ansel-3.0.10/lib/View/ |
| H A D | Upload.php | 91 $startText = _("Upload");
92 $addText = _("Add Images");
93 $header = _("Upload to gallery");
94 $returnText =_("View Gallery");
95 $subText = _("Add files to the upload queue and click the start button.");
96 $sizeError = _("File size error.");
97 $typeError = _("File type error.");
120 type: '{$typeError}'
163 $form = new Ansel_Form_Upload($vars, _("Upload photos"));
256 } elseif ($vars->get('submitbutton') != _("Cancel")) {
[all …]
|
| /dports/math/hs-Agda/Agda-2.6.2/src/data/lib/prim/Agda/Builtin/ |
| H A D | Reflection.agda | 74 primQNameToWord64s : Name → Σ Word64 (λ _ → Word64)
198 …clause : (tel : List (Σ String λ _ → Arg Type)) (ps : List (Arg Pattern)) (t : Term) → Clau…
199 absurd-clause : (tel : List (Σ String λ _ → Arg Type)) (ps : List (Arg Pattern)) → Clause
271 typeError : ∀ {a} {A : Set a} → List ErrorPart → TC A
318 runSpeculative : ∀ {a} {A : Set a} → TC (Σ A λ _ → Bool) → TC A
324 {-# BUILTIN AGDATCMTYPEERROR typeError #-}
|
| /dports/math/hs-Agda/Agda-2.6.2/doc/release-notes/ |
| H A D | 2.5.1.md | 448 infixl 6 _+_
449 infix 6 _∸_
458 infixr 4 _,_
511 infixr 5 _∷_
512 infixr 5 _∙_
513 infixl 3 _+_
520 infix 5 _∷_
521 infixr 4 _∙_
547 -- corresponding to A._∙_, one corresponding to B._∙_, and one
622 typeError : ∀ {a} {A : Set a} → List ErrorPart → TC A
[all …]
|
| /dports/lang/polyml/polyml-5.8.2/mlsource/MLCompiler/ |
| H A D | STRUCTURES_.ML | 387 fun displayList ([], _, _) _ = []
1088 val typeError = sigStructMatchMsg(lex, near, lno, structPath) displayType
1104 then typeError(candidSet, targetSet,
1109 then typeError(candidSet, targetSet,
1114 then typeError(candidSet, targetSet,
1826 (fn(name, _, _) =>
2144 (fn (name, _, _) =>
2754 fun processBody(decs, _, debugEnv, _, _, _) = (decs, debugEnv)
2769 fun processBody(decs, _, debugEnv, _, _, _) = (decs: codeBinding list, debugEnv)
2919 fn(decs, _, debugEnv, _, _, _) => (decs, debugEnv))
[all …]
|
| /dports/math/hs-Agda/Agda-2.6.2/ |
| H A D | CHANGELOG.md | 307 record _×_ (A B : Set) : Set
316 record _×_ A B where
317 constructor _,_
322 constructor _`×_ : (A B : U) → U
366 @0 _ : @0 Set → Set
367 _ = λ @0 { A → A }
369 @0 _ : @0 Set → Set
454 _$_ : .(A → B) → .A → B
551 - `typeError` and `debugPrint` no longer inserts spaces around `termErr` and
632 → TC (Σ Nat (λ _ → Σ String (λ _ → String)))
[all …]
|
| /dports/sysutils/ansible/ansible-4.7.0/ |
| H A D | CHANGELOG-v4.rst | 23 `Porting Guide <https://docs.ansible.com/ansible/devel/porting_guides.html>`_
501 - na_cloudmanager_connector_gcp - typeError when using proxy certificates.
696 `Porting Guide <https://docs.ansible.com/ansible/devel/porting_guides.html>`_
1117 `Porting Guide <https://docs.ansible.com/ansible/devel/porting_guides.html>`_
1648 `Porting Guide <https://docs.ansible.com/ansible/devel/porting_guides.html>`_
2214 `Porting Guide <https://docs.ansible.com/ansible/devel/porting_guides.html>`_
2708 `Porting Guide <https://docs.ansible.com/ansible/devel/porting_guides.html>`_
3356 `Porting Guide <https://docs.ansible.com/ansible/devel/porting_guides.html>`_
4426 `Porting Guide <https://docs.ansible.com/ansible/devel/porting_guides.html>`_
4740 …nternal config entries will not be documented, to mark an entry as internal it must start with `_`.
[all …]
|
| /dports/www/grafana8/grafana-8.3.6/.yarn/releases/ |
| H A D | yarn-3.1.0.cjs | 218 …_(P({},n),{message:r(n.message)})),await super.render(),this.choices=i}submit(){return this.option…
219 …e=GA(),u3e=O0(),of=u3e.prototype,Vne=class extends c3e{constructor(e){super(_(P({},e),{multiple:!0…
234 …ft>+<up/down> to sort)",P3e=GA(),Rse=class extends P3e{constructor(e){super(_(P({},e),{reorder:!1,…
433 …_(P({},c),{type:oi.Dependency,descriptor:u}));for(let u of o.peerDependencies.values())l.push(_(P(…
434 … r=Promise.resolve().then(async()=>{for await(let{}of e);}),i=()=>{};return _(P({},r),{stop:i})}re…
535 …}=de.dynamicRequire(m);E!==a?f.push(p):(f.push(u),h=!0)}return h||f.push(u),_(P({},g),{plugins:f})…
539 …;let u=c.plugins.filter(g=>g.path!==a);return c.plugins.length===u.length?c:_(P({},c),{plugins:u})…
587 …c(o)?(await T.copyFilePromise(o,i),await fe.updateConfiguration(r,d=>{let m=_(P({},d),{enableGloba…
597 `;for(let[B,b]of Object.entries(E))p+=`${B.replace(/[A-Z]/g,H=>`_${H.toLowerCase()}`)} = ${b}
598 …_(P({},e),{version:n.version||"0.0.0",languageName:n.languageName||r.project.configuration.get("de…
[all …]
|
| /dports/www/ilias/ILIAS-5.4.25/libs/bower/bower_components/fine-uploader/dist/ |
| H A D | fine-uploader.core.min.js.map | 1 …typeError","sizeError","minSizeError","emptyError","noFilesError","maxHeightImageError","maxWidthI…
|
| H A D | fine-uploader.core.js.map | 1 …typeError","sizeError","minSizeError","emptyError","noFilesError","maxHeightImageError","maxWidthI…
|
| H A D | azure.fine-uploader.core.min.js.map | 1 …typeError","sizeError","minSizeError","emptyError","noFilesError","maxHeightImageError","maxWidthI…
|
| H A D | s3.fine-uploader.core.js.map | 1 …typeError","sizeError","minSizeError","emptyError","noFilesError","maxHeightImageError","maxWidthI…
|
| H A D | s3.fine-uploader.core.min.js.map | 1 …typeError","sizeError","minSizeError","emptyError","noFilesError","maxHeightImageError","maxWidthI…
|
| H A D | azure.fine-uploader.core.js.map | 1 …typeError","sizeError","minSizeError","emptyError","noFilesError","maxHeightImageError","maxWidthI…
|
| H A D | all.fine-uploader.core.js.map | 1 …typeError","sizeError","minSizeError","emptyError","noFilesError","maxHeightImageError","maxWidthI…
|
| H A D | all.fine-uploader.core.min.js.map | 1 …typeError","sizeError","minSizeError","emptyError","noFilesError","maxHeightImageError","maxWidthI…
|
| H A D | jquery.fine-uploader.js.map | 1 …typeError","sizeError","minSizeError","emptyError","noFilesError","maxHeightImageError","maxWidthI…
|
| H A D | jquery.fine-uploader.min.js.map | 1 …typeError","sizeError","minSizeError","emptyError","noFilesError","maxHeightImageError","maxWidthI…
|
| /dports/www/ilias6/ILIAS-6.14/libs/bower/bower_components/fine-uploader/dist/ |
| H A D | fine-uploader.core.min.js.map | 1 …typeError","sizeError","minSizeError","emptyError","noFilesError","maxHeightImageError","maxWidthI…
|
| H A D | azure.fine-uploader.core.min.js.map | 1 …typeError","sizeError","minSizeError","emptyError","noFilesError","maxHeightImageError","maxWidthI…
|
| H A D | fine-uploader.core.js.map | 1 …typeError","sizeError","minSizeError","emptyError","noFilesError","maxHeightImageError","maxWidthI…
|
| H A D | s3.fine-uploader.core.min.js.map | 1 …typeError","sizeError","minSizeError","emptyError","noFilesError","maxHeightImageError","maxWidthI…
|
| H A D | s3.fine-uploader.core.js.map | 1 …typeError","sizeError","minSizeError","emptyError","noFilesError","maxHeightImageError","maxWidthI…
|
| H A D | azure.fine-uploader.core.js.map | 1 …typeError","sizeError","minSizeError","emptyError","noFilesError","maxHeightImageError","maxWidthI…
|
| H A D | all.fine-uploader.core.js.map | 1 …typeError","sizeError","minSizeError","emptyError","noFilesError","maxHeightImageError","maxWidthI…
|
| H A D | all.fine-uploader.core.min.js.map | 1 …typeError","sizeError","minSizeError","emptyError","noFilesError","maxHeightImageError","maxWidthI…
|