Searched refs:tyThingCoAxiom (Results 1 – 5 of 5) sorted by relevance
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Types/ |
| H A D | TyThing.hs | 20 , tyThingCoAxiom
274 tyThingCoAxiom :: HasDebugCallStack => TyThing -> CoAxiom Branched
275 tyThingCoAxiom (ACoAxiom ax) = ax function
276 tyThingCoAxiom other = pprPanic "tyThingCoAxiom" (ppr other) function
|
| /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 | HscTypes.hs | 102 tyThingId, tyThingCoAxiom, tyThingParent_maybe, tyThingsTyCoVars,
2280 tyThingCoAxiom :: TyThing -> CoAxiom Branched
2281 tyThingCoAxiom (ACoAxiom ax) = ax function
2282 tyThingCoAxiom other = pprPanic "tyThingCoAxiom" (ppr other) function
|
| /dports/lang/ghc/ghc-8.10.7/compiler/main/ |
| H A D | HscTypes.hs | 102 tyThingId, tyThingCoAxiom, tyThingParent_maybe, tyThingsTyCoVars,
2280 tyThingCoAxiom :: TyThing -> CoAxiom Branched
2281 tyThingCoAxiom (ACoAxiom ax) = ax function
2282 tyThingCoAxiom other = pprPanic "tyThingCoAxiom" (ppr other) function
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Driver/ |
| H A D | Types.hs | 101 tyThingId, tyThingCoAxiom, tyThingParent_maybe, tyThingsTyCoVars,
2326 tyThingCoAxiom :: HasDebugCallStack => TyThing -> CoAxiom Branched
2327 tyThingCoAxiom (ACoAxiom ax) = ax function
2328 tyThingCoAxiom other = pprPanic "tyThingCoAxiom" (ppr other) function
|
| /dports/lang/ghc/ghc-8.10.7/compiler/iface/ |
| H A D | TcIface.hs | 1688 ; return (tyThingCoAxiom thing) }
|