on this occasion, it’d be easily to do.
Simon
From: Dr. ÉRDI Gergő [mailto:ge...@erdi.hu]
Sent: 01 December 2014 23:09
To: Simon Peyton Jones
Cc: GHC Devs; Gabor Greif
Subject: RE: Back-porting pattern synonym type signature syntax for GHC 7.8.4
[Re: ANNOUNCE: GHC 7.8.4 Release Candidate 1
Gergö,
even if it might be too late for 7.8.4, don't give up hope for 7.8.5 :-)
Gabor
On 11/29/14, Dr. ERDI Gergo ge...@erdi.hu wrote:
On Wed, 26 Nov 2014, Simon Peyton Jones wrote:
My instinct is that (a)-(c) overwhelm (d); i.e. let sleeping dogs lie.
But what do others think?
Just
: Gabor Greif [mailto:ggr...@gmail.com]
| Sent: 01 December 2014 15:53
| To: Dr. ERDI Gergo
| Cc: Simon Peyton Jones; ghc-devs@haskell.org
| Subject: Re: Back-porting pattern synonym type signature syntax for GHC
| 7.8.4 [Re: ANNOUNCE: GHC 7.8.4 Release Candidate 1]
|
| Gergö,
|
| even if it might
[mailto:ggr...@gmail.com]
| Sent: 01 December 2014 15:53
| To: Dr. ERDI Gergo
| Cc: Simon Peyton Jones; ghc-devs@haskell.org
| Subject: Re: Back-porting pattern synonym type signature syntax for GHC
| 7.8.4 [Re: ANNOUNCE: GHC 7.8.4 Release Candidate 1]
|
| Gergö,
|
| even if it might be too late
| Cc: Simon Peyton Jones; ghc-devs@haskell.org
javascript:_e(%7B%7D,'cvml','ghc-devs@haskell.org');
| Subject: Re: Back-porting pattern synonym type signature syntax for GHC
| 7.8.4 [Re: ANNOUNCE: GHC 7.8.4 Release Candidate 1]
|
| Gergö,
|
| even if it might be too late for 7.8.4, don't give up
| Cc: Simon Peyton Jones; ghc-devs@haskell.org
| Subject: Re: Back-porting pattern synonym type signature syntax for GHC
| 7.8.4 [Re: ANNOUNCE: GHC 7.8.4 Release Candidate 1]
|
| Gergö,
|
| even if it might be too late for 7.8.4, don't give up hope for 7.8.5
:-)
|
| Gabor
On Wed, 26 Nov 2014, Simon Peyton Jones wrote:
My instinct is that (a)-(c) overwhelm (d); i.e. let sleeping dogs lie.
But what do others think?
Just to give an idea of how limited the scope of this change would be,
I've went and implemented it, on the 'wip/pattern-synonym-sig-backport'
others think?
Simon
| -Original Message-
| From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of Dr.
| ERDI Gergo
| Sent: 26 November 2014 00:59
| To: Austin Seipp
| Cc: ghc-devs@haskell.org
| Subject: Back-porting pattern synonym type signature syntax for GHC
| 7.8.4
My instinct is that (a)-(c) overwhelm (d); i.e. let sleeping dogs lie.
These arguments look convincing. I suppose the relevant section in the User's
Guide should inform
about changes planned for 7.10? To a limited extent this would address (d).
Janek
Hi,
Now that we know what the syntax of pattern synonym type signatures is
going to be for GHC 7.10, would it make sense / is it not too late to
backport that same syntax to 7.8.4?
To recap, 7.8 doesn't support adding type signatures to pattern synonyms,
but GHCi's :i and Haddock both need
10 matches
Mail list logo
