Migrate to spago next

.github/workflows/ci.yml

@@ -10,30 +10,29 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - uses: actions/checkout@v2
-      - uses: purescript-contrib/setup-purescript@main
+      - uses: actions/checkout@v4
+
+      - uses: actions/setup-node@v4
         with:
-          purescript: "0.15.0"
-          psa: "0.8.2"
-          spago: "0.20.9"
-          purs-tidy: "0.8.0"
-      - uses: actions/cache@v2
-        # This cache uses the .dhall files to know when it should reinstall
-        # and rebuild packages. It caches both the installed packages from
-        # the `.spago` directory and compilation artifacts from the `output`
-        # directory. When restored the compiler will rebuild any files that
-        # have changed.
+          node-version: 20
+          cache: 'npm'
+
+      - name: Cache PureScript dependencies
+        uses: actions/cache@v4
         with:
-          key: ${{ runner.os }}-spago-${{ hashFiles('**/*.dhall') }}
+          key: ${{ runner.os }}-spago-${{ hashFiles('**/spago.lock') }}
           path: |
             .spago
             output
 
+      - name: Install npm dependencies
+        run: npm install
+
       - name: Build source
-        run: spago build
+        run: npx spago build --pure --pedantic-packages
 
       - name: Run tests
-        run: npm test
+        run: npm run test
 
       - name: Verify formatting
-        run: purs-tidy check src test
+        run: npm run format:check

.gitignore

@@ -8,3 +8,4 @@
 /.purs*
 /.psa*
 /.spago
+/.vscode