Re: haskell.org not sending intermediate certs

curl is working now, and the SSL checker is all green. Thanks! Edward Excerpts from davean's message of 2016-12-18 17:49:43 -0500: > admin@h.o is the correct list though I expect all of us are on ghc-devs@h.o > also :) > I at least read admin with a far higher priority though. > > We've gone

Re: Help needed: Restrictions of proc-notation with RebindableSyntax

> On Dec 17, 2016, at 9:19 AM, Ross Paterson wrote: > > On Tue, Nov 29, 2016 at 12:41:53PM +, Simon Peyton Jones wrote: >> Type checking and desugaring for arrow syntax has received Absolutely >> No Love for several years. I do not understand how it works very well,

Re: haskell.org not sending intermediate certs

admin@h.o is the correct list though I expect all of us are on ghc-devs@h.o also :) I at least read admin with a far higher priority though. We've gone and added the full chain for clients that don't self-acquire them and also tightened up the allowed cipher list. Please let us know if you

Re: haskell.org not sending intermediate certs

I noticed this as well, since my work VPN does fairly strict certificate checking and didn't allow me to connect to any haskell.org urls due to this. I'm not sure about the right list, I've added ad...@haskell.org to the CC list. Erik On 18 December 2016 at 07:12, Edward Z. Yang

Re: Patch for time repository

I resolved this by just bumping our submodule to latest HEAD in the repo (which was taken by upstream.) Edward Excerpts from Edward Z. Yang's message of 2016-12-17 21:45:20 -0800: > Hi all, > > I'd like to push the following patch (see bottom of email) > to GHC's time repository, but I do not