Home
last modified time | relevance | path

Searched refs:pwords (Results 1 – 25 of 42) sorted by relevance

12

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Pretty/
H A DCall.hs54 pwords "when checking that the clause"
63 pwords "when checking that the pattern"
80 pwords "when checking that the expression"
89 ++ [prettyA e] ++ pwords "is a type"
92 pwords "when checking the projection" ++
97 pwords "when checking that" ++
100 pwords "to a function of type" ++
130 pwords "of the datatype."
136 fsep $ pwords "when checking the pragma"
144 pwords "when checking that the type" ++
[all …]
H A DWarning.hs89 pwords "Unreachable" ++ pwords (plural (length pss) "clause")
156 pwords "so making" ++ [prettyTCM q] ++ pwords "into an instance has no effect."
160 pwords "so having an instance argument" ++ [return b] ++ pwords "has no effect."
164 pwords "so having an instance argument" ++ [return b] ++ pwords "has no effect."
187 pwords "Cannot postulate" ++ [pretty e] ++ pwords "with safe flag"
226 [text old] ++ pwords "has been deprecated. Use" ++ [text new] ++ pwords
252 pwords "Importing module" ++ [pretty m] ++ pwords "using the" ++
256 pwords "Importing module" ++ [pretty m] ++ pwords "not using the" ++
302 [ pwords "The backend"
342 [ pwords "Duplicate"
[all …]
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/
H A DErrors.hs469 pwords "Previous definition of" ++ [help m] ++ pwords "module" ++ [prettyTCM x] ++
482 pwords "The arguments to " ++ [prettyTCM m] ++ pwords "do not fit the telescope" ++
610 pwords "in datatype"
801 NoSuchModule x -> fsep $ pwords "No module" ++ [pretty x] ++ pwords "in scope"
837 ++ pwords "clash."
850 pwords "Ambiguous imports from module" ++ [pretty m] ++ pwords "for" ++
1107 pwords "(at most" ++ [text (show n)] ++ pwords "allowed)."
1334 GenericSplitError s -> fsep $ pwords "Split failed:" ++ pwords s
1352 pwords "=" ++ [prettyTCM v] ++ pwords "of type" ++ [prettyTCM a] ++
1365 pwords "=" ++ [prettyTCM u] ++ pwords "of type" ++ [prettyTCM a] ++
[all …]
H A DPositivity.hs143 [prettyTCM q] ++ pwords "is" ++
144 pwords (msg ++ ", because it occurs") ++
788 nth 0 = pwords "first"
789 nth 1 = pwords "second"
790 nth 2 = pwords "third"
791 nth n = pwords $ show (n + 1) ++ "th"
828 DefArg q i -> pwords "in the" ++ nth i ++ pwords "argument of" ++
830 UnderInf -> pwords "under" ++
838 InClause i -> pwords "in the" ++ nth i ++ pwords "clause"
839 Matched -> pwords "as matched against"
[all …]
H A DInjectivity.hs303 pwords "useInjectivity on" ++
313 [ fsep (pwords "comparing application of injective function" ++ [prettyTCM f] ++
314 pwords "at")
331 pwords "no head symbol found for" ++ [prettyTCM neu] ++ pwords ", so not inverting"
335 … pwords "head symbol" ++ [prettyTCM f'] ++ pwords "can reduce to self, so not inverting"
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Concrete/Definitions/
H A DErrors.hs259 pwords "Multiple ellipses in left-hand side" ++ [pretty p]
261 pwords "Invalid name:" ++ [pretty x]
263 pwords "Duplicate definition of" ++ [pretty x]
265 pwords "Duplicate declaration of _"
267 pwords "Missing with-clauses for function" ++ [pretty x]
270 pwords ("has been declared as a " ++ prettyShow k ++
275 pwords "it could belong to any of:"
281 [] -> [fsep $ pwords "There was no candidate."]
285 pretty (WrongContentBlock b _) = fsep . pwords $
354 pwords "COMPILE pragma not allowed in safe mode."
[all …]
/dports/shells/yash/yash-2.51/lineedit/
H A Dcompparse.c160 pi->ctxt->pwords = xmalloc(1 * sizeof *pi->ctxt->pwords); in empty_pwords()
170 pi->ctxt->pwords = pl_toary(pwords); in set_pwords()
298 plist_T pwords; in cparse_simple_command() local
299 pl_init(&pwords); in cparse_simple_command()
370 plist_T pwords; in ctryparse_assignment() local
371 pl_init(&pwords); in ctryparse_assignment()
388 set_pwords(&pwords); in ctryparse_assignment()
479 plist_T pwords; in cparse_for_command() local
480 pl_init(&pwords); in cparse_for_command()
817 pi->ctxt->pwords = xmalloc(1 * sizeof *pi->ctxt->pwords); in cparse_paramexp_raw()
[all …]
H A Dcomplete.h93 void **pwords; // words preceding the source word member
/dports/math/p5-Math-Prime-Util/Math-Prime-Util-0.73/xt/
H A Dmake-perrin-data.pl36 my $pwords = int(($period+31)/32);
37 next unless $pwords < 5000;
38 my @nums = (0) x $pwords;
43 my $bytesperzero = $pwords*4 / $nzeros;
/dports/comms/cwstudio/cwstudio-0.9.6/src/
H A Drandom.c193 char *pwords; in cw_rand_words() local
200 if((pwords = (char *) cw_malloc(length + 1)) == NULL) return(NULL); in cw_rand_words()
201 strcpy(pwords, "vvv =\n"); in cw_rand_words()
203 strcat(pwords, cw_words[*(randoms + i)]); in cw_rand_words()
205 strcat(pwords, "\n"); in cw_rand_words()
207 strcat(pwords, " "); in cw_rand_words()
211 return(pwords); in cw_rand_words()
/dports/devel/p5-Data-Unixish/Data-Unixish-1.572/lib/Data/Unixish/
H A Dwc.pm80 my $pwords = $args{words};
83 if (!$pbytes && !$pchars && !$pwords && !$plines && !$pmaxllen) {
84 $pbytes++; $pwords++; $plines++;
88 push @res, $words if $pwords;
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Compiler/MAlonzo/
H A DHaskellTypes.hs73 fsep (pwords "The type" ++ [prettyTCM top] ++
74 pwords "cannot be translated to a corresponding Haskell type, because it contains" ++
77 reason (BadLambda v) = pwords "the lambda term" ++ [prettyTCM v <> "."]
78 reason (BadMeta v) = pwords "a meta variable" ++ [prettyTCM v <> "."]
79 reason (BadDontCare v) = pwords "an erased term" ++ [prettyTCM v <> "."]
80 reason (NoPragmaFor x) = prettyTCM x : pwords "which does not have a COMPILE pragma."
81 reason (WrongPragmaFor _ x) = prettyTCM x : pwords "which has the wrong kind of COMPILE pragma."
217 fsep (prettyTCM d : pwords ("has " ++ show n ++
H A DPrimitives.hs82 pwords "The type of main should be" ++
83 [prettyTCM io] ++ pwords " A, for some A. The given type is" ++ [prettyTCM ty]
/dports/devel/allegro5/allegro5-5.2.7.0/contrib/luajit/
H A Dgenerate_luajit_ffi.py28 pwords = proto.split(' ')
38 if pwords[0] in ('union', 'struct'):
43 elif pwords[0] == 'typedef' and pwords[1] in ('union', 'struct'):
/dports/textproc/dadadodo/dadadodo-1.04/
H A Ddodotodo7 (make files.c be able to create either `words' or `pwords'.)
21 * pwords don't point to strings, because they aren't just single words
25 * pword->succ always points to pwords that are single words.
26 but the pwords table contains both kinds.
33 look up the cdr in the pwords table
H A Dparsei.h53 pword pwords [PWORD_POOL_COUNT]; member
H A Dfiles.c197 pword *w = &p->pwords[j]; in write_dadadodo_file()
236 pword *w = &p->pwords[j]; in write_dadadodo_file()
257 pword *w = &p->pwords[j]; in write_dadadodo_file()
/dports/www/hotcrp/hotcrp-2.102/lib/
H A Dabbreviationmatcher.php51 $pwords = explode(" ", $pattern);
57 while (isset($pwords[$ppos]) && isset($swords[$spos])) {
59 $pword = '{\A' . preg_quote($pwords[$ppos]) . '(\S*)\z}' . $flags;
61 if ($this->has_star && strpos($pwords[$ppos], "*") !== false) {
75 if (!isset($pwords[$ppos])) {
/dports/devel/R-cran-gsubfn/gsubfn/inst/unitTests/
H A Drunit.all.R41 pwords <- proto( functionVar
50 gsubfn("\\w+", pwords, "the dog and the cat are in the house"),
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Utils/
H A DPretty.hs119 pwords :: String -> [Doc]
120 pwords = map text . words function
123 fwords = fsep . pwords
/dports/databases/p5-Genezzo/Genezzo-0.72/lib/Genezzo/
H A DGenDBI.pm4368 my @pwords = shellwords($currline);
4371 unless (@pwords);
4380 $operation = shift @pwords ;
4395 $pwords[0] = $self->{bigstatement};
4402 while (my $thing = shift @pwords)
4419 unless (@pwords)
4556 Dumper ($operation) . Dumper (@pwords) . "\n" ;
4569 unshift @pwords, $dispatch;
4571 return @pwords;
4581 my ($dispatch, @pwords) = @_;
[all …]
/dports/x11-toolkits/wxgtk28-common/wxGTK-2.8.12/contrib/samples/stc/
H A Dedit.cpp442 const wxChar *pwords = curInfo->styles[Nr].words; in InitializePrefs() local
443 if (pwords) { in InitializePrefs()
444 SetKeyWords (keywordnr, pwords); in InitializePrefs()
/dports/x11-toolkits/wxgtk28-contrib/wxGTK-2.8.12/contrib/samples/stc/
H A Dedit.cpp442 const wxChar *pwords = curInfo->styles[Nr].words; in InitializePrefs() local
443 if (pwords) { in InitializePrefs()
444 SetKeyWords (keywordnr, pwords); in InitializePrefs()
/dports/x11-toolkits/wxgtk28-contrib-common/wxGTK-2.8.12/contrib/samples/stc/
H A Dedit.cpp442 const wxChar *pwords = curInfo->styles[Nr].words; in InitializePrefs() local
443 if (pwords) { in InitializePrefs()
444 SetKeyWords (keywordnr, pwords); in InitializePrefs()
/dports/x11-toolkits/wxgtk28/wxGTK-2.8.12/contrib/samples/stc/
H A Dedit.cpp442 const wxChar *pwords = curInfo->styles[Nr].words; in InitializePrefs() local
443 if (pwords) { in InitializePrefs()
444 SetKeyWords (keywordnr, pwords); in InitializePrefs()

12