| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Tc/Types/ |
| H A D | Constraint.hs | 894 isEmptyCts = isEmptyBag
933 = isEmptyBag f && isEmptyBag i && isEmptyBag holes
940 isEmptyBag wc_simple && allBag (isSolvedStatus . ic_status) wc_impl && isEmptyBag holes
1043 | isEmptyBag bag = empty function
|
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Tc/Types/ |
| H A D | Constraint.hs | 1045 isEmptyCts = isEmptyBag
1084 = isEmptyBag f && isEmptyBag i && isEmptyBag holes
1091 isEmptyBag wc_simple && allBag (isSolvedStatus . ic_status) wc_impl && isEmptyBag holes
1200 | isEmptyBag bag = empty function
|
| /dports/devel/valgrind-lts/valgrind-dragonfly-dragonfly/helgrind/ |
| H A D | hg_lock_n_thread.c | 84 if (VG_(isEmptyBag)(lock->heldBy)) in is_sane_Lock_BASE()
|
| /dports/devel/valgrind/valgrind-dragonfly-dragonfly/helgrind/ |
| H A D | hg_lock_n_thread.c | 84 if (VG_(isEmptyBag)(lock->heldBy)) in is_sane_Lock_BASE()
|
| /dports/lang/ghc/ghc-8.10.7/compiler/typecheck/ |
| H A D | TcSimplify.hs | 122 ; MASSERT2( isEmptyBag empty_binds, ppr empty_binds )
621 ; return (isEmptyBag insols) }
629 | not (isEmptyBag insols) -- We've found that it's definitely unsatisfiable
1558 , ppUnless (isEmptyBag floated_eqs) $
1564 | not (isEmptyBag floated_eqs)
1611 isEmptyBag new_implics
1627 | isEmptyBag implics
1797 , isEmptyBag (wc_impl (ic_wanted ic))
|
| H A D | Constraint.hs | 879 isEmptyCts = isEmptyBag
916 = isEmptyBag f && isEmptyBag i
924 isEmptyBag wc_simple && allBag (isSolvedStatus . ic_status) wc_impl
1010 | isEmptyBag bag = empty function
|
| /dports/devel/valgrind-lts/valgrind-dragonfly-dragonfly/include/ |
| H A D | pub_tool_wordfm.h | 189 Bool VG_(isEmptyBag)( const WordBag* );
|
| /dports/devel/valgrind/valgrind-dragonfly-dragonfly/include/ |
| H A D | pub_tool_wordfm.h | 189 Bool VG_(isEmptyBag)( const WordBag* );
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Data/ |
| H A D | Bag.hs | 19 isEmptyBag, isSingletonBag, consBag, snocBag, anyBag, allBag,
84 isEmptyBag :: Bag a -> Bool
85 isEmptyBag EmptyBag = True function
86 isEmptyBag _ = False -- NB invariants function
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/compiler/utils/ |
| H A D | Bag.hs | 19 isEmptyBag, isSingletonBag, consBag, snocBag, anyBag, allBag,
84 isEmptyBag :: Bag a -> Bool
85 isEmptyBag EmptyBag = True function
86 isEmptyBag _ = False -- NB invariants function
|
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Data/ |
| H A D | Bag.hs | 19 isEmptyBag, isSingletonBag, consBag, snocBag, anyBag, allBag,
85 isEmptyBag :: Bag a -> Bool
86 isEmptyBag EmptyBag = True function
87 isEmptyBag _ = False -- NB invariants function
|
| /dports/lang/ghc/ghc-8.10.7/compiler/utils/ |
| H A D | Bag.hs | 19 isEmptyBag, isSingletonBag, consBag, snocBag, anyBag, allBag,
84 isEmptyBag :: Bag a -> Bool
85 isEmptyBag EmptyBag = True function
86 isEmptyBag _ = False -- NB invariants function
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-exactprint-0.6.4/tests/examples/ghc80/ |
| H A D | listcomps.hs | 17 import Bag (filterBag,isEmptyBag)
|
| H A D | CheckUtils.hs | 16 import Bag (filterBag,isEmptyBag)
|
| H A D | stringSource.hs | 21 import Bag (filterBag,isEmptyBag)
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/compiler/typecheck/ |
| H A D | Constraint.hs | 879 isEmptyCts = isEmptyBag
916 = isEmptyBag f && isEmptyBag i
924 isEmptyBag wc_simple && allBag (isSolvedStatus . ic_status) wc_impl
1010 | isEmptyBag bag = empty function
|
| H A D | TcEvidence.hs | 338 mkWpLet (EvBinds b) | isEmptyBag b = WpHole
816 isEmptyTcEvBinds (EvBinds b) = isEmptyBag b
|
| /dports/lang/ghc/ghc-8.10.7/compiler/simplCore/ |
| H A D | FloatOut.hs | 282 | isEmptyBag floats = e function
626 = ASSERT2( isEmptyBag (flattenMajor defs), ppr defs )
627 ASSERT2( isEmptyBag ceils, ppr ceils )
|
| /dports/lang/ghc/ghc-8.10.7/compiler/main/ |
| H A D | HscMain.hs | 239 when (not $ isEmptyBag errs) $ throwErrors errs
273 Just r -> ASSERT( isEmptyBag errs ) return r
365 when (not $ isEmptyBag errs) $ throwErrors errs
1054 case (isEmptyBag safeErrs) of
1060 let infPassed = isEmptyBag infErrs
1118 return $ isEmptyBag errs
1124 good <- isEmptyBag `fmap` getWarnings
|
| H A D | ErrUtils.hs | 360 isEmptyMessages (warns, errs) = isEmptyBag warns && isEmptyBag errs
363 errorsFound _dflags (_warns, errs) = not (isEmptyBag errs)
|
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Parser/ |
| H A D | Header.hs | 55 import GHC.Data.Bag ( Bag, listToBag, unitBag, isEmptyBag )
92 if not (isEmptyBag errs)
|
| /dports/lang/ghc/ghc-8.10.7/compiler/stgSyn/ |
| H A D | StgLint.hs | 45 import Bag ( Bag, emptyBag, isEmptyBag, snocBag, bagToList )
293 if isEmptyBag errs then
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Utils/ |
| H A D | Error.hs | 365 isEmptyMessages (warns, errs) = isEmptyBag warns && isEmptyBag errs
368 errorsFound _dflags (_warns, errs) = not (isEmptyBag errs)
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/compiler/main/ |
| H A D | ErrUtils.hs | 360 isEmptyMessages (warns, errs) = isEmptyBag warns && isEmptyBag errs
363 errorsFound _dflags (_warns, errs) = not (isEmptyBag errs)
|
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Types/ |
| H A D | Error.hs | 92 isEmptyMessages (Messages msgs) = isEmptyBag msgs
|