[GHC] #12514: Can't write unboxed sum type constructors in prefix form

GHC ghc-devs at haskell.org
Mon Aug 22 08:09:16 UTC 2016


#12514: Can't write unboxed sum type constructors in prefix form
-------------------------------------+-------------------------------------
        Reporter:  RyanGlScott       |                Owner:
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.1
  (Parser)                           |
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by simonpj):

 There's a debate to be had about what concrete syntax for sums both
 unboxed and (not yet implemented) boxed.

 But if we stick to the current unary notation, I rather think we should
 not allow spaces anywhere. Ditto for tuples.  Maybe we should do it in the
 lexer, not the parser?

 Also for data constructors what is the prefix form.  E.g. Instead of `(#|
 True ||#)`, do we write
  * `(#| ||#) True`, or
  * `(#_||#) True`?

 I prefer the latter.  We should not have spaces in the middle of names?

 Simon

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


More information about the ghc-tickets mailing list