| /dports/devel/py-llvmlite/llvmlite-0.34.0/llvmlite/ir/ |
| H A D | module.py | 170 elif len(tys) == 1:
172 fnty = types.FunctionType(tys[0], [tys[0], types.IntType(32)])
174 fnty = types.FunctionType(tys[0], tys * 2)
180 fnty = types.FunctionType(tys[0], tys)
181 elif len(tys) == 2:
183 tys = [tys[0], types.IntType(8), tys[1],
187 tys = [tys[0], types.IntType(1)]
188 fnty = types.FunctionType(tys[0], tys)
193 tys = tys + [types.IntType(1)]
196 tys = [tys[0]] * 3
[all …]
|
| /dports/lang/purescript/purescript-0.14.5/src/Language/PureScript/Sugar/TypeClasses/ |
| H A D | Deriving.hs | 109 = case tys of
116 = case tys of
123 = case tys of
130 = case tys of
137 = case tys of
144 = case tys of
153 = case tys of
163 case tys of
167 … | otherwise -> throwError . errorMessage' ss $ ExpectedTypeConstructor className tys (last tys)
425 identsL <- replicateM (length tys) (freshIdent "l")
[all …]
|
| /dports/lang/ghc/ghc-8.10.7/compiler/typecheck/ |
| H A D | ClsInst.hs | 131 matchGlobalInst dflags short_cut clas tys
133 = matchKnownNat dflags short_cut clas tys
135 = matchKnownSymbol dflags short_cut clas tys
155 matchInstEnv dflags short_cut_solver clas tys
198 pred = mkClassPred clas tys
240 matchCTuple clas tys -- (isCTupleClass clas) holds
241 = return (OneInst { cir_new_theta = tys
358 matchKnownNat df sc clas tys = matchInstEnv df sc clas tys
370 matchKnownSymbol df sc clas tys = matchInstEnv df sc clas tys
661 matchHasField dflags short_cut clas tys
[all …]
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Core/TyCo/ |
| H A D | Subst.hs | 399 zipTvSubst tvs tys
402 tenv = zipTyEnv tvs tys
413 zipTCvSubst tcvs tys
414 = zip_tcvsubst tcvs tys $
436 zipTyEnv tyvars tys
578 substCoWith tvs tys = ASSERT( tvs `equalLength` tys )
599 substTysWith tvs tys = ASSERT( tvs `equalLength` tys )
686 substTys subst tys
688 | otherwise = checkValidSubst subst tys [] $ map (subst_ty subst) tys
702 substTysUnchecked subst tys
[all …]
|
| /dports/lang/gcc12-devel/gcc-12-20211205/libgo/go/time/ |
| H A D | mono_test.go | 140 check(txs+".Sub("+tys+")", tx.Sub(ty), d)
141 check(txs+"w.Sub("+tys+")", txw.Sub(ty), dw)
142 check(txs+".Sub("+tys+"w)", tx.Sub(tyw), dw)
143 check(txs+"w.Sub("+tys+"w)", txw.Sub(tyw), dw)
163 check(txs+".After("+tys+")", tx.After(ty), c > 0)
164 check(txs+"w.After("+tys+")", txw.After(ty), cw > 0)
165 check(txs+".After("+tys+"w)", tx.After(tyw), cw > 0)
168 check(txs+".Before("+tys+")", tx.Before(ty), c < 0)
173 check(txs+".Equal("+tys+")", tx.Equal(ty), c == 0)
174 check(txs+"w.Equal("+tys+")", txw.Equal(ty), cw == 0)
[all …]
|
| /dports/lang/gcc8/gcc-8.5.0/libgo/go/time/ |
| H A D | mono_test.go | 140 check(txs+".Sub("+tys+")", tx.Sub(ty), d)
141 check(txs+"w.Sub("+tys+")", txw.Sub(ty), dw)
142 check(txs+".Sub("+tys+"w)", tx.Sub(tyw), dw)
143 check(txs+"w.Sub("+tys+"w)", txw.Sub(tyw), dw)
163 check(txs+".After("+tys+")", tx.After(ty), c > 0)
164 check(txs+"w.After("+tys+")", txw.After(ty), cw > 0)
165 check(txs+".After("+tys+"w)", tx.After(tyw), cw > 0)
168 check(txs+".Before("+tys+")", tx.Before(ty), c < 0)
173 check(txs+".Equal("+tys+")", tx.Equal(ty), c == 0)
174 check(txs+"w.Equal("+tys+")", txw.Equal(ty), cw == 0)
[all …]
|
| /dports/net/google-cloud-sdk-app-engine-go/platform/google_appengine/goroot-1.9/src/time/ |
| H A D | mono_test.go | 140 check(txs+".Sub("+tys+")", tx.Sub(ty), d)
141 check(txs+"w.Sub("+tys+")", txw.Sub(ty), dw)
142 check(txs+".Sub("+tys+"w)", tx.Sub(tyw), dw)
143 check(txs+"w.Sub("+tys+"w)", txw.Sub(tyw), dw)
163 check(txs+".After("+tys+")", tx.After(ty), c > 0)
164 check(txs+"w.After("+tys+")", txw.After(ty), cw > 0)
165 check(txs+".After("+tys+"w)", tx.After(tyw), cw > 0)
168 check(txs+".Before("+tys+")", tx.Before(ty), c < 0)
173 check(txs+".Equal("+tys+")", tx.Equal(ty), c == 0)
174 check(txs+"w.Equal("+tys+")", txw.Equal(ty), cw == 0)
[all …]
|
| /dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/libgo/go/time/ |
| H A D | mono_test.go | 140 check(txs+".Sub("+tys+")", tx.Sub(ty), d)
141 check(txs+"w.Sub("+tys+")", txw.Sub(ty), dw)
142 check(txs+".Sub("+tys+"w)", tx.Sub(tyw), dw)
143 check(txs+"w.Sub("+tys+"w)", txw.Sub(tyw), dw)
163 check(txs+".After("+tys+")", tx.After(ty), c > 0)
164 check(txs+"w.After("+tys+")", txw.After(ty), cw > 0)
165 check(txs+".After("+tys+"w)", tx.After(tyw), cw > 0)
168 check(txs+".Before("+tys+")", tx.Before(ty), c < 0)
173 check(txs+".Equal("+tys+")", tx.Equal(ty), c == 0)
174 check(txs+"w.Equal("+tys+")", txw.Equal(ty), cw == 0)
[all …]
|
| /dports/lang/go-devel/go-becaeea1199b875bc24800fa88f2f4fea119bf78/src/time/ |
| H A D | mono_test.go | 140 check(txs+".Sub("+tys+")", tx.Sub(ty), d)
141 check(txs+"w.Sub("+tys+")", txw.Sub(ty), dw)
142 check(txs+".Sub("+tys+"w)", tx.Sub(tyw), dw)
143 check(txs+"w.Sub("+tys+"w)", txw.Sub(tyw), dw)
163 check(txs+".After("+tys+")", tx.After(ty), c > 0)
164 check(txs+"w.After("+tys+")", txw.After(ty), cw > 0)
165 check(txs+".After("+tys+"w)", tx.After(tyw), cw > 0)
168 check(txs+".Before("+tys+")", tx.Before(ty), c < 0)
173 check(txs+".Equal("+tys+")", tx.Equal(ty), c == 0)
174 check(txs+"w.Equal("+tys+")", txw.Equal(ty), cw == 0)
[all …]
|
| /dports/lang/gcc11/gcc-11.2.0/libgo/go/time/ |
| H A D | mono_test.go | 140 check(txs+".Sub("+tys+")", tx.Sub(ty), d)
141 check(txs+"w.Sub("+tys+")", txw.Sub(ty), dw)
142 check(txs+".Sub("+tys+"w)", tx.Sub(tyw), dw)
143 check(txs+"w.Sub("+tys+"w)", txw.Sub(tyw), dw)
163 check(txs+".After("+tys+")", tx.After(ty), c > 0)
164 check(txs+"w.After("+tys+")", txw.After(ty), cw > 0)
165 check(txs+".After("+tys+"w)", tx.After(tyw), cw > 0)
168 check(txs+".Before("+tys+")", tx.Before(ty), c < 0)
173 check(txs+".Equal("+tys+")", tx.Equal(ty), c == 0)
174 check(txs+"w.Equal("+tys+")", txw.Equal(ty), cw == 0)
[all …]
|
| /dports/lang/gcc10/gcc-10.3.0/libgo/go/time/ |
| H A D | mono_test.go | 140 check(txs+".Sub("+tys+")", tx.Sub(ty), d)
141 check(txs+"w.Sub("+tys+")", txw.Sub(ty), dw)
142 check(txs+".Sub("+tys+"w)", tx.Sub(tyw), dw)
143 check(txs+"w.Sub("+tys+"w)", txw.Sub(tyw), dw)
163 check(txs+".After("+tys+")", tx.After(ty), c > 0)
164 check(txs+"w.After("+tys+")", txw.After(ty), cw > 0)
165 check(txs+".After("+tys+"w)", tx.After(tyw), cw > 0)
168 check(txs+".Before("+tys+")", tx.Before(ty), c < 0)
173 check(txs+".Equal("+tys+")", tx.Equal(ty), c == 0)
174 check(txs+"w.Equal("+tys+")", txw.Equal(ty), cw == 0)
[all …]
|
| /dports/lang/gcc11-devel/gcc-11-20211009/libgo/go/time/ |
| H A D | mono_test.go | 140 check(txs+".Sub("+tys+")", tx.Sub(ty), d)
141 check(txs+"w.Sub("+tys+")", txw.Sub(ty), dw)
142 check(txs+".Sub("+tys+"w)", tx.Sub(tyw), dw)
143 check(txs+"w.Sub("+tys+"w)", txw.Sub(tyw), dw)
163 check(txs+".After("+tys+")", tx.After(ty), c > 0)
164 check(txs+"w.After("+tys+")", txw.After(ty), cw > 0)
165 check(txs+".After("+tys+"w)", tx.After(tyw), cw > 0)
168 check(txs+".Before("+tys+")", tx.Before(ty), c < 0)
173 check(txs+".Equal("+tys+")", tx.Equal(ty), c == 0)
174 check(txs+"w.Equal("+tys+")", txw.Equal(ty), cw == 0)
[all …]
|
| /dports/devel/arm-none-eabi-gcc/gcc-8.4.0/libgo/go/time/ |
| H A D | mono_test.go | 140 check(txs+".Sub("+tys+")", tx.Sub(ty), d)
141 check(txs+"w.Sub("+tys+")", txw.Sub(ty), dw)
142 check(txs+".Sub("+tys+"w)", tx.Sub(tyw), dw)
143 check(txs+"w.Sub("+tys+"w)", txw.Sub(tyw), dw)
163 check(txs+".After("+tys+")", tx.After(ty), c > 0)
164 check(txs+"w.After("+tys+")", txw.After(ty), cw > 0)
165 check(txs+".After("+tys+"w)", tx.After(tyw), cw > 0)
168 check(txs+".Before("+tys+")", tx.Before(ty), c < 0)
173 check(txs+".Equal("+tys+")", tx.Equal(ty), c == 0)
174 check(txs+"w.Equal("+tys+")", txw.Equal(ty), cw == 0)
[all …]
|
| /dports/devel/riscv64-gcc/gcc-8.3.0/libgo/go/time/ |
| H A D | mono_test.go | 140 check(txs+".Sub("+tys+")", tx.Sub(ty), d)
141 check(txs+"w.Sub("+tys+")", txw.Sub(ty), dw)
142 check(txs+".Sub("+tys+"w)", tx.Sub(tyw), dw)
143 check(txs+"w.Sub("+tys+"w)", txw.Sub(tyw), dw)
163 check(txs+".After("+tys+")", tx.After(ty), c > 0)
164 check(txs+"w.After("+tys+")", txw.After(ty), cw > 0)
165 check(txs+".After("+tys+"w)", tx.After(tyw), cw > 0)
168 check(txs+".Before("+tys+")", tx.Before(ty), c < 0)
173 check(txs+".Equal("+tys+")", tx.Equal(ty), c == 0)
174 check(txs+"w.Equal("+tys+")", txw.Equal(ty), cw == 0)
[all …]
|
| /dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/libgo/go/time/ |
| H A D | mono_test.go | 140 check(txs+".Sub("+tys+")", tx.Sub(ty), d)
141 check(txs+"w.Sub("+tys+")", txw.Sub(ty), dw)
142 check(txs+".Sub("+tys+"w)", tx.Sub(tyw), dw)
143 check(txs+"w.Sub("+tys+"w)", txw.Sub(tyw), dw)
163 check(txs+".After("+tys+")", tx.After(ty), c > 0)
164 check(txs+"w.After("+tys+")", txw.After(ty), cw > 0)
165 check(txs+".After("+tys+"w)", tx.After(tyw), cw > 0)
168 check(txs+".Before("+tys+")", tx.Before(ty), c < 0)
173 check(txs+".Equal("+tys+")", tx.Equal(ty), c == 0)
174 check(txs+"w.Equal("+tys+")", txw.Equal(ty), cw == 0)
[all …]
|
| /dports/lang/gcc9-devel/gcc-9-20211007/libgo/go/time/ |
| H A D | mono_test.go | 140 check(txs+".Sub("+tys+")", tx.Sub(ty), d)
141 check(txs+"w.Sub("+tys+")", txw.Sub(ty), dw)
142 check(txs+".Sub("+tys+"w)", tx.Sub(tyw), dw)
143 check(txs+"w.Sub("+tys+"w)", txw.Sub(tyw), dw)
163 check(txs+".After("+tys+")", tx.After(ty), c > 0)
164 check(txs+"w.After("+tys+")", txw.After(ty), cw > 0)
165 check(txs+".After("+tys+"w)", tx.After(tyw), cw > 0)
168 check(txs+".Before("+tys+")", tx.Before(ty), c < 0)
173 check(txs+".Equal("+tys+")", tx.Equal(ty), c == 0)
174 check(txs+"w.Equal("+tys+")", txw.Equal(ty), cw == 0)
[all …]
|
| /dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/libgo/go/time/ |
| H A D | mono_test.go | 140 check(txs+".Sub("+tys+")", tx.Sub(ty), d)
141 check(txs+"w.Sub("+tys+")", txw.Sub(ty), dw)
142 check(txs+".Sub("+tys+"w)", tx.Sub(tyw), dw)
143 check(txs+"w.Sub("+tys+"w)", txw.Sub(tyw), dw)
163 check(txs+".After("+tys+")", tx.After(ty), c > 0)
164 check(txs+"w.After("+tys+")", txw.After(ty), cw > 0)
165 check(txs+".After("+tys+"w)", tx.After(tyw), cw > 0)
168 check(txs+".Before("+tys+")", tx.Before(ty), c < 0)
173 check(txs+".Equal("+tys+")", tx.Equal(ty), c == 0)
174 check(txs+"w.Equal("+tys+")", txw.Equal(ty), cw == 0)
[all …]
|
| /dports/misc/cxx_atomics_pic/gcc-11.2.0/libgo/go/time/ |
| H A D | mono_test.go | 140 check(txs+".Sub("+tys+")", tx.Sub(ty), d)
141 check(txs+"w.Sub("+tys+")", txw.Sub(ty), dw)
142 check(txs+".Sub("+tys+"w)", tx.Sub(tyw), dw)
143 check(txs+"w.Sub("+tys+"w)", txw.Sub(tyw), dw)
163 check(txs+".After("+tys+")", tx.After(ty), c > 0)
164 check(txs+"w.After("+tys+")", txw.After(ty), cw > 0)
165 check(txs+".After("+tys+"w)", tx.After(tyw), cw > 0)
168 check(txs+".Before("+tys+")", tx.Before(ty), c < 0)
173 check(txs+".Equal("+tys+")", tx.Equal(ty), c == 0)
174 check(txs+"w.Equal("+tys+")", txw.Equal(ty), cw == 0)
[all …]
|
| /dports/devel/avr-gcc/gcc-10.2.0/libgo/go/time/ |
| H A D | mono_test.go | 140 check(txs+".Sub("+tys+")", tx.Sub(ty), d)
141 check(txs+"w.Sub("+tys+")", txw.Sub(ty), dw)
142 check(txs+".Sub("+tys+"w)", tx.Sub(tyw), dw)
143 check(txs+"w.Sub("+tys+"w)", txw.Sub(tyw), dw)
163 check(txs+".After("+tys+")", tx.After(ty), c > 0)
164 check(txs+"w.After("+tys+")", txw.After(ty), cw > 0)
165 check(txs+".After("+tys+"w)", tx.After(tyw), cw > 0)
168 check(txs+".Before("+tys+")", tx.Before(ty), c < 0)
173 check(txs+".Equal("+tys+")", tx.Equal(ty), c == 0)
174 check(txs+"w.Equal("+tys+")", txw.Equal(ty), cw == 0)
[all …]
|
| /dports/lang/gcc10-devel/gcc-10-20211008/libgo/go/time/ |
| H A D | mono_test.go | 140 check(txs+".Sub("+tys+")", tx.Sub(ty), d)
141 check(txs+"w.Sub("+tys+")", txw.Sub(ty), dw)
142 check(txs+".Sub("+tys+"w)", tx.Sub(tyw), dw)
143 check(txs+"w.Sub("+tys+"w)", txw.Sub(tyw), dw)
163 check(txs+".After("+tys+")", tx.After(ty), c > 0)
164 check(txs+"w.After("+tys+")", txw.After(ty), cw > 0)
165 check(txs+".After("+tys+"w)", tx.After(tyw), cw > 0)
168 check(txs+".Before("+tys+")", tx.Before(ty), c < 0)
173 check(txs+".Equal("+tys+")", tx.Equal(ty), c == 0)
174 check(txs+"w.Equal("+tys+")", txw.Equal(ty), cw == 0)
[all …]
|
| /dports/lang/gcc9/gcc-9.4.0/libgo/go/time/ |
| H A D | mono_test.go | 140 check(txs+".Sub("+tys+")", tx.Sub(ty), d)
141 check(txs+"w.Sub("+tys+")", txw.Sub(ty), dw)
142 check(txs+".Sub("+tys+"w)", tx.Sub(tyw), dw)
143 check(txs+"w.Sub("+tys+"w)", txw.Sub(tyw), dw)
163 check(txs+".After("+tys+")", tx.After(ty), c > 0)
164 check(txs+"w.After("+tys+")", txw.After(ty), cw > 0)
165 check(txs+".After("+tys+"w)", tx.After(tyw), cw > 0)
168 check(txs+".Before("+tys+")", tx.Before(ty), c < 0)
173 check(txs+".Equal("+tys+")", tx.Equal(ty), c == 0)
174 check(txs+"w.Equal("+tys+")", txw.Equal(ty), cw == 0)
[all …]
|
| /dports/lang/gcc9-aux/gcc-9.1.0/libgo/go/time/ |
| H A D | mono_test.go | 140 check(txs+".Sub("+tys+")", tx.Sub(ty), d)
141 check(txs+"w.Sub("+tys+")", txw.Sub(ty), dw)
142 check(txs+".Sub("+tys+"w)", tx.Sub(tyw), dw)
143 check(txs+"w.Sub("+tys+"w)", txw.Sub(tyw), dw)
163 check(txs+".After("+tys+")", tx.After(ty), c > 0)
164 check(txs+"w.After("+tys+")", txw.After(ty), cw > 0)
165 check(txs+".After("+tys+"w)", tx.After(tyw), cw > 0)
168 check(txs+".Before("+tys+")", tx.Before(ty), c < 0)
173 check(txs+".Equal("+tys+")", tx.Equal(ty), c == 0)
174 check(txs+"w.Equal("+tys+")", txw.Equal(ty), cw == 0)
[all …]
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/compiler/types/ |
| H A D | TyCoSubst.hs | 396 zipTvSubst tvs tys
399 tenv = zipTyEnv tvs tys
410 zipTCvSubst tcvs tys
411 = zip_tcvsubst tcvs tys (mkEmptyTCvSubst $ mkInScopeSet (tyCoVarsOfTypes tys))
432 zipTyEnv tyvars tys
574 substCoWith tvs tys = ASSERT( tvs `equalLength` tys )
595 substTysWith tvs tys = ASSERT( tvs `equalLength` tys )
675 substTys subst tys
677 | otherwise = checkValidSubst subst tys [] $ map (subst_ty subst) tys
685 substTysUnchecked subst tys
[all …]
|
| /dports/lang/ghc/ghc-8.10.7/compiler/types/ |
| H A D | TyCoSubst.hs | 396 zipTvSubst tvs tys
399 tenv = zipTyEnv tvs tys
410 zipTCvSubst tcvs tys
411 = zip_tcvsubst tcvs tys (mkEmptyTCvSubst $ mkInScopeSet (tyCoVarsOfTypes tys))
432 zipTyEnv tyvars tys
574 substCoWith tvs tys = ASSERT( tvs `equalLength` tys )
595 substTysWith tvs tys = ASSERT( tvs `equalLength` tys )
675 substTys subst tys
677 | otherwise = checkValidSubst subst tys [] $ map (subst_ty subst) tys
685 substTysUnchecked subst tys
[all …]
|
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Core/TyCo/ |
| H A D | Subst.hs | 404 zipTvSubst tvs tys
407 tenv = zipTyEnv tvs tys
418 zipTCvSubst tcvs tys
419 = zip_tcvsubst tcvs tys $
442 zipTyEnv tyvars tys
448 zipToUFM tyvars tys
584 substCoWith tvs tys = ASSERT( tvs `equalLength` tys )
605 substTysWith tvs tys = ASSERT( tvs `equalLength` tys )
692 substTys subst tys
694 | otherwise = checkValidSubst subst tys [] $ map (subst_ty subst) tys
[all …]
|