[GHC] #13873: Adding a SPECIALIZE at a callsite in Main.hs is causing a regression

GHC ghc-devs at haskell.org
Sun Jul 2 01:48:17 UTC 2017


#13873: Adding a SPECIALIZE at a callsite in Main.hs is causing a regression
-------------------------------------+-------------------------------------
        Reporter:  jberryman         |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:  8.2.2
       Component:  Compiler          |              Version:  8.2.1-rc2
      Resolution:                    |             Keywords:  Specialise
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 jberryman):

 Thanks so much for looking into this. I maybe wasn't clear in the body
 that the reason I filed the ticket was I assumed that GHC would try to
 choose the best specialization from those in scope (since my intuition was
 specialize pragmas behave sort of like type classes in the way they leak
 via `import` statements) and from whatever specializations it might
 perform in context.

 But maybe this is expected behavior, and a manual specialization will
 always take precedence?

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13873#comment:4>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler


More information about the ghc-tickets mailing list