[GHC] #10823: Don't mark functions with annotations as dead

GHC ghc-devs at haskell.org
Thu Sep 3 16:12:48 UTC 2015


#10823: Don't mark functions with annotations as dead
-------------------------------------+-------------------------------------
        Reporter:  spinda            |                   Owner:
            Type:  feature request   |                  Status:  new
        Priority:  normal            |               Milestone:  7.12.1
       Component:  Template Haskell  |                 Version:  7.10.2
      Resolution:                    |                Keywords:
Operating System:  Unknown/Multiple  |            Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |               Test Case:
      Blocked By:                    |                Blocking:
 Related Tickets:                    |  Differential Revisions:
-------------------------------------+-------------------------------------

Comment (by simonpj):

 > `[lq| inline gt |]` attaches an annotation to gt, so perhaps the
 solution should be to tell the desugarer not to consider any function with
 an annotation attached as dead code.

 I'd be happy with that.  But can you remind us HOW `lq` "attaches an
 annotation"? It it documented in the user manual?

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


More information about the ghc-tickets mailing list