[GHC] #14003: Allow more worker arguments in SpecConstr
GHC
ghc-devs at haskell.org
Fri Jul 21 19:04:33 UTC 2017
#14003: Allow more worker arguments in SpecConstr
-------------------------------------+-------------------------------------
Reporter: choenerzs | Owner: (none)
Type: feature request | Status: new
Priority: normal | Milestone: 8.2.2
Component: Compiler | Version: 8.2.1-rc3
Resolution: | Keywords: JoinPoints,
| Fusion
Operating System: Unknown/Multiple | Architecture:
Type of failure: Runtime | Unknown/Multiple
performance bug | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by choenerzs):
SpecConstr checks via ```isWorkerSmallEnough``` in ```callsToNewPats``` if
the pattern to be specialised is small enough. This is controlled by
```-fmax-worker-args```. Line 1913 in SpecConstr.hs.
And no, 8.0.2 fully specialises irrespective of the number of worker
arguments. Specialisation in 8.2 depends on the number of arguments the
pattern to be specialised has.
I'll try to construct a test case.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14003#comment:4>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list