Re: Implementing pattern synonym constructor signatures

2018-01-15 Thread Matthew Pickering
What is a constructor signature? Where is this specified? On Mon, Jan 15, 2018 at 7:10 PM, David Feuer wrote: > Over the past week I've started digging into the code that implements > pattern synonyms with an eye toward implementing the pattern synonym > construction function signature proposal.

Re: Implementing pattern synonym constructor signatures

2018-01-15 Thread David Feuer
developers Subject: Re: Implementing pattern synonym constructor signatures What is a constructor signature? Where is this specified? On Mon, Jan 15, 2018 at 7:10 PM, David Feuer wrote: > Over the past week I've started digging into the code that implements > pattern synonyms with an

RE: Implementing pattern synonym constructor signatures

2018-01-15 Thread Simon Peyton Jones via ghc-devs
0. Parsing. I wasn't actually able to find the code that parses pattern synonyms. Can someone point me in the right direction? Parser.y line 1356, production ‘patteron_synonym_decl’ looks plausible. Currently we have data HsPatSynDir id = Unidirectional | ImplicitBidirectional | ExplicitBi

Re: Implementing pattern synonym constructor signatures

2018-01-15 Thread David Feuer
Never mind about parsing. It looks like the parser is already doing what it needs to do and I need to look to RdrHsSyn.hs. David FeuerWell-Typed, LLP Original message From: David Feuer Date: 1/15/18 2:10 PM (GMT-05:00) To: Simon Peyton Jones Cc: ghc-devs@haskell.org Subjec

RE: Implementing pattern synonym constructor signatures

2018-01-15 Thread David Feuer
n Peyton Jones Date: 1/15/18 6:36 PM (GMT-05:00) To: David Feuer Cc: ghc-devs@haskell.org Subject: RE: Implementing pattern synonym constructor signatures 0. Parsing. I wasn't actually able to find the code that parses pattern synonyms. Can someone point me in the right direction? Parse