Home
last modified time | relevance | path

Searched defs:mkCall (Results 1 – 3 of 3) sorted by relevance

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Termination/
H A DCallGraph.hs72 mkCall s t m cinfo = Edge s t $ singleton $ CallMatrixAug m cinfo function
76 mkCall' s t m = mkCall s t m mempty function
/dports/lang/ghc/ghc-8.10.7/compiler/GHC/StgToCmm/
H A DMonad.hs840 mkCall f (callConv, retConv) results actuals updfr_off extra_stack = do function
/dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Types/
H A DDemand.hs369 mkCall n cd@(Poly m) | n == m = cd function
370 mkCall n cd = Call n cd function