[GHC] #6084: Add stg_ap_pnnv and related call patterns

[GHC]

#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