#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