[GHC] #12376: Allow function definitions in record syntax

GHC ghc-devs at haskell.org
Wed Sep 27 16:03:19 UTC 2017


#12376: Allow function definitions in record syntax
-------------------------------------+-------------------------------------
        Reporter:  Iceland_jack      |                Owner:  (none)
            Type:  feature request   |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.0.1
      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 Iceland_jack):

 Replying to [comment:8 goldfire]:
 > But, @Iceland_jack, I encourage you to use the ghc-proposals process for
 ideas like this, as it's now the official place for the community to weigh
 in on new language ideas.

 I'm not sure if this is worth the effort but I did similar sugar in
 [https://www.microsoft.com/en-us/research/wp-
 content/uploads/2016/02/scopedlabels.pdf Extensible records with scoped
 labels]:

 > As convenient syntactic sugar, we abbreviate the binding of a functional
 value `(l = \x1 ... xn → e)` as `(l x1 ... xn = e)`.

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


More information about the ghc-tickets mailing list