CI is failing on main since Nov/Dec 2022 about purescript HOT 3 CLOSED

Hi all.

I did a little debugging and found the root cause. We are still using PureScript 0.14.x (0.15.x is the latest). There was an issue with 0.14.7 having an incorrect dependency on libtinfo (see purescript/purescript#4253).

If you invoke purs --version on CI you'll see:

purs: error while loading shared libraries: libtinfo.so.5: cannot open shared object file: No such file or directory

To resolve we can bump PureScript to 0.14.9 which appears to work. We usually bump the PureScript in tandem with purescript-runner. Another option is upgrade to the latest (0.15.x) but that requires much more work because the exercises need to be adapted as well.

I can create a couple of PRs for this if needed. Let me know.

from purescript.

See:

• exercism/purescript-test-runner#44
• #263

from purescript.

That was quick! Thank you so much.

Yeah, I think bumping purescript to 0.14.9 is the way to go here. If someone wants to take on the bigger task of bumping up to the next minor version, that's great, but it doesn't need to happen right this second.

I've reopened the PR that bumps the patch version, and will merge it as soon as CI reports back (it reruns CI when the PR is reopened, it looks like).

from purescript.