Home
last modified time | relevance | path

Searched refs:VarN (Results 1 – 25 of 31) sorted by relevance

12

/dports/lang/elm/compiler-0.19.1/compiler/src/Type/Constrain/
H A DModule.hs76 tipe <- Instantiate.fromSrcType (Map.map VarN vars) srcType
94 let msg = VarN msgVar
103 let msg = VarN msgVar
119 let state0 = VarN s0
120 let state1 = VarN s1
121 let state2 = VarN s2
122 let msg1 = VarN m1
123 let msg2 = VarN m2
124 let self1 = VarN sm1
125 let self2 = VarN sm2
[all …]
H A DExpression.hs117 let extType = VarN extVar
126 let extType = VarN extVar
190 let funcType = VarN funcVar
213 let argType = VarN argVar
248 let leftType = VarN leftVar
336 let ptrnType = VarN ptrnVar
395 let tipe = VarN var
428 let tipe = VarN var
441 let aType = VarN aVar
442 let bType = VarN bVar
[all …]
H A DPattern.hs68 let entryType = VarN entryVar
79 let entryType = VarN entryVar
94 let extType = VarN extVar
97 let fieldTypes = Map.fromList (map (fmap VarN) fieldVars)
177 let aType = VarN aVar
178 let bType = VarN bVar
192 let cType = VarN cVar
216 let typePairs = map (second VarN) varPairs
/dports/www/twiki/twiki/data/TWiki/
H A DVarQ.txt,v47 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL…
61 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL…
77 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL…
93 …* Related: [[#VarH][H]], [[#VarI][I]], [[#VarICON][ICON]], [[#VarM][M]], [[#VarN][N]], [[#VarP][P]…
H A DVarX.txt,v47 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL…
61 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL…
77 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL…
93 …* Related: [[#VarH][H]], [[#VarI][I]], [[#VarICON][ICON]], [[#VarM][M]], [[#VarN][N]], [[#VarP][P]…
H A DVarY.txt,v47 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL…
61 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL…
77 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL…
93 …* Related: [[#VarH][H]], [[#VarI][I]], [[#VarICON][ICON]], [[#VarM][M]], [[#VarN][N]], [[#VarP][P]…
H A DVarH.txt,v47 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL…
61 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL…
77 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL…
93 …* Related: [[#VarI][I]], [[#VarICON][ICON]], [[#VarM][M]], [[#VarN][N]], [[#VarP][P]], [[#VarQ][Q]…
H A DVarP.txt,v47 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL…
61 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL…
77 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL…
93 …* Related: [[#VarH][H]], [[#VarI][I]], [[#VarICON][ICON]], [[#VarM][M]], [[#VarN][N]], [[#VarQ][Q]…
H A DVarS.txt,v47 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL…
61 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL…
77 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL…
93 …* Related: [[#VarH][H]], [[#VarI][I]], [[#VarICON][ICON]], [[#VarM][M]], [[#VarN][N]], [[#VarP][P]…
H A DVarI.txt,v47 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL…
61 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL…
77 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL…
93 …* Related: [[#VarH][H]], [[#VarICON][ICON]], [[#VarM][M]], [[#VarN][N]], [[#VarP][P]], [[#VarQ][Q]…
H A DVarM.txt,v47 …"}%VarICON][ICON]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL…
61 …"}%VarICON][ICON]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL…
77 …"}%VarICON][ICON]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL…
93 …* Related: [[#VarH][H]], [[#VarI][I]], [[#VarICON][ICON]], [[#VarN][N]], [[#VarP][P]], [[#VarQ][Q]…
H A DVarT.txt,v47 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL…
61 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL…
77 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL…
93 …* Related: [[#VarH][H]], [[#VarI][I]], [[#VarICON][ICON]], [[#VarM][M]], [[#VarN][N]], [[#VarP][P]…
H A DVarU.txt,v47 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL…
61 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL…
77 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL…
93 …* Related: [[#VarH][H]], [[#VarI][I]], [[#VarICON][ICON]], [[#VarM][M]], [[#VarN][N]], [[#VarP][P]…
H A DVarWIP.txt,v32 …hen="#"}%VarM][M]], [[%IF{"'%INCLUDINGTOPIC%'='TWikiVariables'" then="#"}%VarN][N]], [[%IF{"'%INCL…
H A DVarN.txt,v41 #VarN
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/
H A DfraClau.c475 int LitM, LitN, VarM, VarN, i, j, k; in Fra_ClauReduceClause() local
482 VarN = lit_var( LitN ); in Fra_ClauReduceClause()
483 if ( VarM < VarN ) in Fra_ClauReduceClause()
487 else if ( VarM > VarN ) in Fra_ClauReduceClause()
600 int LitM, VarM, VarN, i, j, k; in Fra_ClauPrintClause() local
606 VarN = Vec_IntEntry( vSatCsVars, j ); in Fra_ClauPrintClause()
607 if ( VarM < VarN ) in Fra_ClauPrintClause()
611 else if ( VarM > VarN ) in Fra_ClauPrintClause()
/dports/lang/ghc/ghc-8.10.7/compiler/GHC/StgToCmm/
H A DExtCode.hs61 = VarN CmmExpr -- ^ Holds CmmLit(CmmLabel ..) which gives the label type, constructor
138 addVarDecl var expr = addDecl var (VarN expr)
206 Just (VarN e) -> e
/dports/devel/R-cran-reshape2/reshape2/
H A DREADME.md42 …* the function `melt` now names the columns of its returned data frame `Var1`, `Var2`, ..., `VarN`…
/dports/lang/erlang-runtime23/corba-5.0.2/lib/ic/src/
H A Dic_pp.erl1684 [{var, VarN}] = lists:nth(N,Para),
1685 sl_macro_expand(T, Para, Defs, [{expanded,Var},{expanded,VarN}, space |Res]);
1688 [{var, VarN}] = lists:nth(N,Para),
1689 sl_macro_expand(T, Para, Defs, [{expanded,Var},{expanded,VarN}, space |Res]);
1692 [{var, VarN}] = lists:nth(N,Para),
1693 sl_macro_expand(T, Para, Defs, [{expanded,Var},{expanded,VarN}, space |Res]);
/dports/lang/erlang-runtime24/corba-5.0.2/lib/ic/src/
H A Dic_pp.erl1684 [{var, VarN}] = lists:nth(N,Para),
1685 sl_macro_expand(T, Para, Defs, [{expanded,Var},{expanded,VarN}, space |Res]);
1688 [{var, VarN}] = lists:nth(N,Para),
1689 sl_macro_expand(T, Para, Defs, [{expanded,Var},{expanded,VarN}, space |Res]);
1692 [{var, VarN}] = lists:nth(N,Para),
1693 sl_macro_expand(T, Para, Defs, [{expanded,Var},{expanded,VarN}, space |Res]);
/dports/lang/erlang-runtime22/corba-4.5.2/lib/ic/src/
H A Dic_pp.erl1684 [{var, VarN}] = lists:nth(N,Para),
1685 sl_macro_expand(T, Para, Defs, [{expanded,Var},{expanded,VarN}, space |Res]);
1688 [{var, VarN}] = lists:nth(N,Para),
1689 sl_macro_expand(T, Para, Defs, [{expanded,Var},{expanded,VarN}, space |Res]);
1692 [{var, VarN}] = lists:nth(N,Para),
1693 sl_macro_expand(T, Para, Defs, [{expanded,Var},{expanded,VarN}, space |Res]);
/dports/lang/erlang/corba-5.0.2/lib/ic/src/
H A Dic_pp.erl1684 [{var, VarN}] = lists:nth(N,Para),
1685 sl_macro_expand(T, Para, Defs, [{expanded,Var},{expanded,VarN}, space |Res]);
1688 [{var, VarN}] = lists:nth(N,Para),
1689 sl_macro_expand(T, Para, Defs, [{expanded,Var},{expanded,VarN}, space |Res]);
1692 [{var, VarN}] = lists:nth(N,Para),
1693 sl_macro_expand(T, Para, Defs, [{expanded,Var},{expanded,VarN}, space |Res]);
/dports/lang/erlang-runtime21/corba-4.5.2/lib/ic/src/
H A Dic_pp.erl1684 [{var, VarN}] = lists:nth(N,Para),
1685 sl_macro_expand(T, Para, Defs, [{expanded,Var},{expanded,VarN}, space |Res]);
1688 [{var, VarN}] = lists:nth(N,Para),
1689 sl_macro_expand(T, Para, Defs, [{expanded,Var},{expanded,VarN}, space |Res]);
1692 [{var, VarN}] = lists:nth(N,Para),
1693 sl_macro_expand(T, Para, Defs, [{expanded,Var},{expanded,VarN}, space |Res]);
/dports/lang/elm/compiler-0.19.1/compiler/src/Type/
H A DType.hs94 | VarN Variable constructor
/dports/editors/lazarus-devel/lazarus-6df7e8756882f7d7f28f662011ee72f21746c580/components/lazdebuggergdbmi/test/TestApps/
H A DWatchesPrgStruct.inc351 // Var.., VarN...: TRealType; // cast to lower class

12