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

Re: Implementing pattern synonym constructor signatures

2018-01-15 Thread David Feuer
Subject: Implementing pattern synonym constructor signatures 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. I think I understand a decent amount of what's

RE: Implementing pattern synonym constructor signatures

2018-01-15 Thread Simon Peyton Jones via ghc-devs
r now. I don’t understand. Can you give an example? Simon From: David Feuer [mailto:da...@well-typed.com] Sent: 15 January 2018 19:11 To: Simon Peyton Jones Cc: ghc-devs@haskell.org Subject: Implementing pattern synonym constructor signatures Over the past week I've started digging into the code tha

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 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.

Implementing pattern synonym constructor signatures

2018-01-15 Thread David Feuer
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. I think I understand a decent amount of what's going on most places. However, I don't understand enough about type