[GHC] #10189: explicit promotions of prefix data constructors can't be parsed naturally

GHC ghc-devs at haskell.org
Mon Apr 13 09:57:27 UTC 2015


#10189: explicit promotions of prefix data constructors can't be parsed naturally
-------------------------------------+-------------------------------------
        Reporter:  Kinokkory         |                   Owner:  Kinokkory
            Type:  bug               |                  Status:  new
        Priority:  normal            |               Milestone:  7.12.1
       Component:  Compiler          |                 Version:  7.8.4
  (Parser)                           |                Keywords:
      Resolution:                    |            Architecture:
Operating System:  Unknown/Multiple  |  Unknown/Multiple
 Type of failure:  GHC rejects       |               Test Case:
  valid program                      |                Blocking:
      Blocked By:                    |  Differential Revisions:
 Related Tickets:  #10188            |
-------------------------------------+-------------------------------------

Comment (by simonpj):

 Would it really be so bad to change it so that the tick goes inside the
 parens?  It'll only affect people using (a) promotion, (b) type operators,
 and (c) prefix use of same.

 I'd prefer just to get it right.  I think of `':` as the name of the
 promoted constructor, and if you want it prefix you should wrap it in
 parens.

 Simon

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


More information about the ghc-tickets mailing list