/dports/lang/ghc/ghc-8.10.7/compiler/typecheck/ |
H A D | TcSMonad.hs | 2646 newtype TcS a = TcS { unTcS :: TcSEnv -> TcM a } deriving (Functor) function 2652 instance Monad TcS where 2819 setEvBindsTcS :: EvBindsVar -> TcS a -> TcS a 2825 -> TcS a 2867 nestTcS :: TcS a -> TcS a 2970 pushLevelNoWorkList :: SDoc -> TcS a -> TcS (TcLevel, a) 3045 TcS $ \ env -> 3050 reportUnifications :: TcS a -> TcS (Int, a) 3052 = TcS $ \ env -> 3071 getTopEnv :: TcS HscEnv [all …]
|
H A D | TcInteract.hs | 136 solveSimpleGivens :: [Ct] -> TcS () 222 solveSimples :: Cts -> TcS () 244 runTcPluginsGiven :: TcS [Ct] 290 setEv :: (EvTerm,Ct) -> TcS () 315 getTcPlugins :: TcS [TcPluginSolver] 379 -> TcS () 507 -> TcS InteractResult 1335 -> TcS () 1418 -> TcS () 2006 -> TcS [TypeEqn] [all …]
|
H A D | TcSimplify.hs | 49 import TcSMonad as TcS 624 try_harder :: Cts -> TcS Cts 1523 = do { cur_lvl <- TcS.getTcLevel 1803 checkBadTelescope :: Implication -> TcS Bool 2096 promoteTyVarTcS :: TcTyVar -> TcS () 2103 = do { tclvl <- TcS.getTcLevel 2110 defaultTyVarTcS :: TcTyVar -> TcS Bool 2377 simples <- TcS.zonkSimples simples 2651 ; tclvl <- TcS.getTcLevel 2668 = do { lcl_env <- TcS.getLclEnv [all …]
|
H A D | TcCanonical.hs | 205 -> TcS (StopOrContinue Ct) 442 makeSuperClasses :: [Ct] -> TcS [Ct] 472 -> Class -> [Type] -> TcS [Ct] 557 -> TcS [Ct] 754 -> TcS (StopOrContinue Ct) 863 -> TcS (StopOrContinue Ct) 879 -> TcS (StopOrContinue Ct) 1301 -> TcS (StopOrContinue Ct) 1358 -> TcS (StopOrContinue Ct) 1597 -> TcS () [all …]
|
H A D | TcFlatten.hs | 29 import TcSMonad as TcS 493 = FlatM { runFlatM :: FlattenEnv -> TcS a } 505 liftTcS :: TcS a -> FlatM a 772 -> TcS (Xi, TcCoercion) 787 rewriteTyVar :: TcTyVar -> TcS TcType 1729 unflattenWanteds :: Cts -> Cts -> TcS Cts 1762 unflatten_funeq :: Ct -> Cts -> TcS Cts 1783 finalise_funeq :: Ct -> TcS Ct 1790 unflatten_eq :: TcLevel -> Ct -> Cts -> TcS Cts 1839 finalise_eq :: Ct -> Cts -> TcS Cts [all …]
|
H A D | TcPluginM.hs | 56 import qualified TcSMonad as TcS 139 matchFam tycon args = unsafeTcPluginTcM $ TcS.matchFamTcM tycon args
|
/dports/games/tads/tads-3.0.8/tads2/ |
H A D | osunixt.c | 217 *TcS, /* Change scroll region: #1 = total lines, #2 = lines variable 337 Tcs = TcS = Tcl = Tce = Tcd = Tcm = Tdo = Tho = Tvi = Tle = Tve = in t_init() 390 TcS = Tgetstr("cS"); in t_init() 403 else if ((Tcs || TcS || Twi) && (Tsf || TSF) && (Tsr || TSR)) in t_init() 797 if (Tcs || TcS || Twi) in t_term() 1912 if ((single || multi) && (Tcs || TcS || Twi)) { in t_scroll() 2030 else if (TcS) { in t_set_scroll_region() 2031 t_puts(Tparm(TcS, LINES, top, LINES - (bot + 1), LINES)); in t_set_scroll_region()
|
/dports/math/fftw3/fftw-3.3.9/dft/scalar/codelets/ |
H A D | n1_64.c | 1037 E TcS, TcT, Tcv, Tcy; in n1_64() local 1038 TcS = FMA(KP707106781, Tcq, Tcp); in n1_64() 1040 TcU = FMA(KP198912367, TcT, TcS); in n1_64() 1041 Td5 = FNMS(KP198912367, TcS, TcT); in n1_64() 2567 E TcS, TcT, Tcv, Tcy; in n1_64() local 2568 TcS = Tcm + Tcn; in n1_64() 2570 TcU = FMA(KP980785280, TcS, KP195090322 * TcT); in n1_64() 2571 Td4 = FNMS(KP195090322, TcS, KP980785280 * TcT); in n1_64()
|
H A D | t1_64.c | 1897 E TcP, TcS, TcW, TcZ; in t1_64() local 1899 TcS = FMA(KP707106781, TcR, TcQ); in t1_64() 1900 TcT = FNMS(KP198912367, TcS, TcP); in t1_64() 1901 TdL = FMA(KP198912367, TcP, TcS); in t1_64() 2351 E TaE, TaF, TcS, TcT; in t1_64() local 2356 TcS = TcQ - TcR; in t1_64() 2358 TcU = TcS - TcT; in t1_64() 2359 TeE = TcT + TcS; in t1_64()
|
/dports/math/fftw3-float/fftw-3.3.9/rdft/scalar/r2cf/ |
H A D | r2cf_128.c | 269 E T2K, TcS, T2R; in r2cf_128() local 322 TcS = T1q - T1t; in r2cf_128() 332 TcT = TcR + TcS; in r2cf_128() 339 TcW = TcS - TcR; in r2cf_128() 1878 E T2H, TcS, T2R; in r2cf_128() local 1931 TcS = T1q - T1t; in r2cf_128() 1941 TcT = KP707106781 * (TcR + TcS); in r2cf_128() 1948 TcW = KP707106781 * (TcS - TcR); in r2cf_128()
|
H A D | hf_64.c | 1897 E TcP, TcS, TcW, TcZ; in hf_64() local 1899 TcS = FMA(KP707106781, TcR, TcQ); in hf_64() 1900 TcT = FMA(KP198912367, TcS, TcP); in hf_64() 1901 TdM = FNMS(KP198912367, TcP, TcS); in hf_64() 2293 E TS, TcR, T6o, T6v, T13, TcS, T6r, T6w, T6s, T6x; in hf_64() local 2340 TcS = T6p + T6q; in hf_64() 2345 Tfr = TcR + TcS; in hf_64() 2357 TcT = TcR - TcS; in hf_64()
|
/dports/math/fftw3-long/fftw-3.3.9/dft/scalar/codelets/ |
H A D | n1_64.c | 1037 E TcS, TcT, Tcv, Tcy; in n1_64() local 1038 TcS = FMA(KP707106781, Tcq, Tcp); in n1_64() 1040 TcU = FMA(KP198912367, TcT, TcS); in n1_64() 1041 Td5 = FNMS(KP198912367, TcS, TcT); in n1_64() 2567 E TcS, TcT, Tcv, Tcy; in n1_64() local 2568 TcS = Tcm + Tcn; in n1_64() 2570 TcU = FMA(KP980785280, TcS, KP195090322 * TcT); in n1_64() 2571 Td4 = FNMS(KP195090322, TcS, KP980785280 * TcT); in n1_64()
|
H A D | t1_64.c | 1897 E TcP, TcS, TcW, TcZ; in t1_64() local 1899 TcS = FMA(KP707106781, TcR, TcQ); in t1_64() 1900 TcT = FNMS(KP198912367, TcS, TcP); in t1_64() 1901 TdL = FMA(KP198912367, TcP, TcS); in t1_64() 2351 E TaE, TaF, TcS, TcT; in t1_64() local 2356 TcS = TcQ - TcR; in t1_64() 2358 TcU = TcS - TcT; in t1_64() 2359 TeE = TcT + TcS; in t1_64()
|
/dports/math/fftw3/fftw-3.3.9/rdft/scalar/r2cf/ |
H A D | r2cf_128.c | 269 E T2K, TcS, T2R; in r2cf_128() local 322 TcS = T1q - T1t; in r2cf_128() 332 TcT = TcR + TcS; in r2cf_128() 339 TcW = TcS - TcR; in r2cf_128() 1878 E T2H, TcS, T2R; in r2cf_128() local 1931 TcS = T1q - T1t; in r2cf_128() 1941 TcT = KP707106781 * (TcR + TcS); in r2cf_128() 1948 TcW = KP707106781 * (TcS - TcR); in r2cf_128()
|
H A D | hf_64.c | 1897 E TcP, TcS, TcW, TcZ; in hf_64() local 1899 TcS = FMA(KP707106781, TcR, TcQ); in hf_64() 1900 TcT = FMA(KP198912367, TcS, TcP); in hf_64() 1901 TdM = FNMS(KP198912367, TcP, TcS); in hf_64() 2293 E TS, TcR, T6o, T6v, T13, TcS, T6r, T6w, T6s, T6x; in hf_64() local 2340 TcS = T6p + T6q; in hf_64() 2345 Tfr = TcR + TcS; in hf_64() 2357 TcT = TcR - TcS; in hf_64()
|
/dports/math/fftw3-float/fftw-3.3.9/dft/scalar/codelets/ |
H A D | n1_64.c | 1037 E TcS, TcT, Tcv, Tcy; in n1_64() local 1038 TcS = FMA(KP707106781, Tcq, Tcp); in n1_64() 1040 TcU = FMA(KP198912367, TcT, TcS); in n1_64() 1041 Td5 = FNMS(KP198912367, TcS, TcT); in n1_64() 2567 E TcS, TcT, Tcv, Tcy; in n1_64() local 2568 TcS = Tcm + Tcn; in n1_64() 2570 TcU = FMA(KP980785280, TcS, KP195090322 * TcT); in n1_64() 2571 Td4 = FNMS(KP195090322, TcS, KP980785280 * TcT); in n1_64()
|
H A D | t1_64.c | 1897 E TcP, TcS, TcW, TcZ; in t1_64() local 1899 TcS = FMA(KP707106781, TcR, TcQ); in t1_64() 1900 TcT = FNMS(KP198912367, TcS, TcP); in t1_64() 1901 TdL = FMA(KP198912367, TcP, TcS); in t1_64() 2351 E TaE, TaF, TcS, TcT; in t1_64() local 2356 TcS = TcQ - TcR; in t1_64() 2358 TcU = TcS - TcT; in t1_64() 2359 TeE = TcT + TcS; in t1_64()
|
/dports/math/fftw3-long/fftw-3.3.9/rdft/scalar/r2cf/ |
H A D | r2cf_128.c | 269 E T2K, TcS, T2R; in r2cf_128() local 322 TcS = T1q - T1t; in r2cf_128() 332 TcT = TcR + TcS; in r2cf_128() 339 TcW = TcS - TcR; in r2cf_128() 1878 E T2H, TcS, T2R; in r2cf_128() local 1931 TcS = T1q - T1t; in r2cf_128() 1941 TcT = KP707106781 * (TcR + TcS); in r2cf_128() 1948 TcW = KP707106781 * (TcS - TcR); in r2cf_128()
|
/dports/math/fftw3-quad/fftw-3.3.9/rdft/scalar/r2cf/ |
H A D | r2cf_128.c | 269 E T2K, TcS, T2R; in r2cf_128() local 322 TcS = T1q - T1t; in r2cf_128() 332 TcT = TcR + TcS; in r2cf_128() 339 TcW = TcS - TcR; in r2cf_128() 1878 E T2H, TcS, T2R; in r2cf_128() local 1931 TcS = T1q - T1t; in r2cf_128() 1941 TcT = KP707106781 * (TcR + TcS); in r2cf_128() 1948 TcW = KP707106781 * (TcS - TcR); in r2cf_128()
|
/dports/math/fftw3-quad/fftw-3.3.9/dft/scalar/codelets/ |
H A D | n1_64.c | 1037 E TcS, TcT, Tcv, Tcy; in n1_64() local 1038 TcS = FMA(KP707106781, Tcq, Tcp); in n1_64() 1040 TcU = FMA(KP198912367, TcT, TcS); in n1_64() 1041 Td5 = FNMS(KP198912367, TcS, TcT); in n1_64() 2567 E TcS, TcT, Tcv, Tcy; in n1_64() local 2568 TcS = Tcm + Tcn; in n1_64() 2570 TcU = FMA(KP980785280, TcS, KP195090322 * TcT); in n1_64() 2571 Td4 = FNMS(KP195090322, TcS, KP980785280 * TcT); in n1_64()
|
/dports/math/fftw3-float/fftw-3.3.9/rdft/scalar/r2cb/ |
H A D | r2cb_128.c | 1170 E Tcz, TcS, Td1, Td2; in r2cb_128() local 1172 TcS = FNMS(KP303346683, TcR, TcK); in r2cb_128() 1173 R0[WS(rs, 35)] = FNMS(KP1_913880671, TcS, Tcz); in r2cb_128() 1174 R0[WS(rs, 3)] = FMA(KP1_913880671, TcS, Tcz); in r2cb_128() 2024 E TF, TM, TcS, TcT; in r2cb_128() local 2029 TcS = T90 + T91; in r2cb_128() 2031 TcU = TcS - TcT; in r2cb_128() 2032 Teu = TcS + TcT; in r2cb_128()
|
H A D | hb_64.c | 67 E T3, T6, T7, T5t, T24, Tes, Ter, T27, Ti4, T5w, Ta, TcR, Td, TcS, Te; in hb_64() local 116 TcS = T2a - T2b; in hb_64() 120 Ti5 = TcS + TcR; in hb_64() 271 TcT = TcR - TcS; in hb_64() 3460 E Tba, Tdw, TcS, Tdi, TcI, Tds, TcW, Td6, Tcr, TcX, TcL, TcT, Tdd, Tdx, Tdl; in hb_64() local 3472 TcS = Taw - Tb9; in hb_64() 3562 TcU = TcS - TcT; in hb_64() 3589 Td0 = TcS + TcT; in hb_64()
|
/dports/math/fftw3/fftw-3.3.9/rdft/scalar/r2cb/ |
H A D | r2cb_128.c | 1170 E Tcz, TcS, Td1, Td2; in r2cb_128() local 1172 TcS = FNMS(KP303346683, TcR, TcK); in r2cb_128() 1173 R0[WS(rs, 35)] = FNMS(KP1_913880671, TcS, Tcz); in r2cb_128() 1174 R0[WS(rs, 3)] = FMA(KP1_913880671, TcS, Tcz); in r2cb_128() 2024 E TF, TM, TcS, TcT; in r2cb_128() local 2029 TcS = T90 + T91; in r2cb_128() 2031 TcU = TcS - TcT; in r2cb_128() 2032 Teu = TcS + TcT; in r2cb_128()
|
/dports/math/fftw3-long/fftw-3.3.9/rdft/scalar/r2cb/ |
H A D | r2cb_128.c | 1170 E Tcz, TcS, Td1, Td2; in r2cb_128() local 1172 TcS = FNMS(KP303346683, TcR, TcK); in r2cb_128() 1173 R0[WS(rs, 35)] = FNMS(KP1_913880671, TcS, Tcz); in r2cb_128() 1174 R0[WS(rs, 3)] = FMA(KP1_913880671, TcS, Tcz); in r2cb_128() 2024 E TF, TM, TcS, TcT; in r2cb_128() local 2029 TcS = T90 + T91; in r2cb_128() 2031 TcU = TcS - TcT; in r2cb_128() 2032 Teu = TcS + TcT; in r2cb_128()
|
/dports/math/fftw3-quad/fftw-3.3.9/rdft/scalar/r2cb/ |
H A D | r2cb_128.c | 1170 E Tcz, TcS, Td1, Td2; in r2cb_128() local 1172 TcS = FNMS(KP303346683, TcR, TcK); in r2cb_128() 1173 R0[WS(rs, 35)] = FNMS(KP1_913880671, TcS, Tcz); in r2cb_128() 1174 R0[WS(rs, 3)] = FMA(KP1_913880671, TcS, Tcz); in r2cb_128() 2024 E TF, TM, TcS, TcT; in r2cb_128() local 2029 TcS = T90 + T91; in r2cb_128() 2031 TcU = TcS - TcT; in r2cb_128() 2032 Teu = TcS + TcT; in r2cb_128()
|