
#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: #11565 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by choenerzs): The core output of the ```wstream_Strng2_V_1``` function is in the two attached files. I still need to prepare a test case that doesn't depend on a lot of dependencies. What I want is SpecConstr to continue specialising functions that have a ```SPEC``` argument irrespective of the number of arguments. That is, those where sc_force is set, I think? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14003#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler