Home
last modified time | relevance | path

Searched refs:TcS (Results 1 – 25 of 52) sorted by relevance

123

/dports/lang/ghc/ghc-8.10.7/compiler/typecheck/
H A DTcSMonad.hs2646 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 DTcInteract.hs136 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 DTcSimplify.hs49 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 DTcCanonical.hs205 -> 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 DTcFlatten.hs29 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 DTcPluginM.hs56 import qualified TcSMonad as TcS
139 matchFam tycon args = unsafeTcPluginTcM $ TcS.matchFamTcM tycon args
/dports/games/tads/tads-3.0.8/tads2/
H A Dosunixt.c217 *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 Dn1_64.c1037 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 Dt1_64.c1897 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 Dr2cf_128.c269 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 Dhf_64.c1897 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 Dn1_64.c1037 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 Dt1_64.c1897 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 Dr2cf_128.c269 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 Dhf_64.c1897 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 Dn1_64.c1037 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 Dt1_64.c1897 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 Dr2cf_128.c269 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 Dr2cf_128.c269 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 Dn1_64.c1037 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 Dr2cb_128.c1170 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 Dhb_64.c67 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 Dr2cb_128.c1170 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 Dr2cb_128.c1170 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 Dr2cb_128.c1170 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()

123