#6084: Add stg_ap_pnnv and related call patterns -------------------------------------+------------------------------------ Reporter: SimonMeier | Owner: Type: feature request | Status: new Priority: normal | Milestone: 7.8.1 Component: Runtime System | Version: 7.4.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: 8313 | Related Tickets: -------------------------------------+------------------------------------ Changes (by simonpj): * cc: simonmar (added) Comment: Simon M and I have agreed to commit this patch. However, there are times when we KNOW that the runtime fast-patch check will fail: {{{ f x y = e foo = ...map (f 3).... }}} In `foo` we'll generate a `SlowCall` to `f`, and there is no point in doing a runtime evaluated-ness and arity check on `f` because we can see statically that it's under-saturated. (Indeed ideally we'd have a RTS entry for known-under-saturated calls.) Or maybe we never ''have'' under- saturated known functions, because core-to-STG eta-expands it. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/6084#comment:15 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler