#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