PureScript compiler release v0.13.4

We’ve released version v0.13.4 of the compiler! Thanks to everyone who contributed to this release.

Release notes: https://github.com/purescript/purescript/releases/tag/v0.13.4

12 Likes

Trying to install the new version of PureScript with npm I got the following error:

$ npm install -g purescript
[…]
Error: getaddrinfo ENOTFOUND github-production-release-asset-2e65be.s3.amazonaws.com

It looks like something is going wrong with the DNS lookup:

Same thing is also happening trying to install previous versions:

$ npm install -g purescript@0.13.2
[…]
Error: getaddrinfo ENOTFOUND github-production-release-asset-2e65be.s3.amazonaws.com

Any hints on how to fix/workaround this problem?

Thanks in advance for any suggestion.

Cheers,

Giulio Cesare

PS: I am using node v12.13.0

This is working for me so I suspect this is either a local network connection problem or a problem with AWS (I remember reports of AWS being flaky yesterday too). I’d suggest working around this by compiling the compiler from source; you can get the sources from either GitHub or Hackage.

1 Like

Now it works from here too. :man_shrugging:
Sorry for bothering with a “false” alarm.

Thanks.

No worries, glad to hear it’s working now :slight_smile:

1 Like

There was a partial outage in Amazon’s DNS right at that time. S3 was showing intermittent problems for a lot of people.

2 Likes