Update to PureScript 0.15.15 and latest package set, clean up exercises and scripts

Programming PureScript
1

I did the following in my fork.

  • package.json (ncu -u)
  • packages.dhall (npx spago upgrade-set)
  • template/spago.dhall (replace deprecated math with numbers; add exceptions)
  • exercises/*/{spago,packages}.dhall (bin/update-exercises.sh)
  • update .gitignore also

Use

for i in exercises/*/*; do (cd $i; spago test); done >
2

I also updated the test runner at Update package set and sync with https://github.com/exercism/purescript/tree/main/template by FranklinChen · Pull Request #56 · exercism/purescript-test-runner · GitHub to keep everything in sync with Update to PureScript 0.15.15 and latest package set, clean up exercises and scripts by FranklinChen · Pull Request #312 · exercism/purescript · GitHub

Combined, these two changes would get everything up to date.

2 Likes
3

Next time it will help if you can also cross link in the PR to the post here and to each other. Once I realised this existed, it all made sense.

Thank you very much for the sync. Waiting on the CI and then merging these in.

1 Like
4

Are both PRs supposed to be merged in? I see the test runner one is still open and currently the test runner is failing to run with the following:

spago: 
Error: Remote host not found

URL: https://github.com/purescript/package-sets/releases/download/psc-0.15.15-20250201/packages.dhall

Unsure if this the result of things out of sync or an unrelated error

5

Yes, I updated all the PRs a long while back and have been waiting for them to be merged in.

6

Yeah, that’s not surprising. Generally the test runner and the track exercises should be updated around the same time to avoid such issues. It looks like @SleeplessByte’s re-review is pending still.

7

It’s been merged in for over a week but the above error is still happening. One odditity I did notice is that the test runner and track were updated to different builds of purescript (psc-0.15.15-20250205 vs psc-0.15.15-20250201). Still unsure if that would be relevent.