Add -Werror checks

Author: locallycompact

.github/workflows/ci-nix.yaml

@@ -233,6 +233,31 @@ jobs:
         body-file: comment-body.md
         reactions: rocket
 
+  nix-flake-check:
+    name: "nix flake check"
+    runs-on: ubuntu-latest
+    steps:
+    - name: 📥 Checkout repository
+      uses: actions/checkout@v4
+
+    - name: ❄ Prepare nix
+      uses: cachix/install-nix-action@v26
+      with:
+        extra_nix_config: |
+          accept-flake-config = true
+          log-lines = 1000
+
+    - name: ❄ Cachix cache of nix derivations
+      uses: cachix/cachix-action@v14
+      with:
+        name: cardano-scaling
+        authToken: '${{ secrets.CACHIX_CARDANO_SCALING_AUTH_TOKEN }}'
+
+    - name: ❄ Nix Flake Check
+      run: |
+        nix flake check -L
+
+
   build-specification:
     name: "Build specification using nix"
     runs-on: ubuntu-latest

CONTRIBUTING.md

@@ -112,9 +112,8 @@ Besides these general build instructions, some components might document
 additional steps and useful tools in their `README.md` files, e.g. the
 [docs](./docs/README.md) or the [hydra-cluster](./hydra-cluster/README.md)
 
-Warnings are treated as errors for the whole project. To ease development, it
-might be handy to it off locally in a `cabal.project.local` with: `cabal
-configure --ghc-options -Wwarn`.
+While warnings are not treated as errors during builds, CI will check for it
+before we merge any contributions.
 
 ### Coding standards
 

cabal.project

@@ -35,10 +35,6 @@ packages:
 package *
   ghc-options: -j8
 
--- Warnings as errors for local packages
-program-options
-  ghc-options: -Werror
-
 -- Always build tests and benchmarks of local packages
 tests: True
 benchmarks: True

flake.nix

@@ -98,6 +98,23 @@
             with pkgs.lib.attrsets;
             mapAttrs' (name: value: nameValuePair (s + name) value) attrs;
 
+          addWerror = x: x.override { ghcOptions = [ "-Werror" ]; };
+
+          componentsToWerrors = n: x:
+            builtins.listToAttrs
+              ([
+                {
+                  name = "${n}-werror";
+                  value = addWerror x.components.library;
+                }
+              ]) // lib.attrsets.mergeAttrsList (map
+              (y:
+                lib.mapAttrs'
+                  (k: v: {
+                    name = "${n}-${y}-${k}-werror";
+                    value = addWerror v;
+                  })
+                  x.components."${y}") [ "benchmarks" "exes" "sublibs" "tests" ]);
         in
         rec {
           legacyPackages = hsPkgs;
@@ -133,7 +150,20 @@
               src = self;
               exe = "${packages.plutus-merkle-tree-tests}/bin/tests";
             };
-          } //
+          } // lib.attrsets.mergeAttrsList (map (x: componentsToWerrors x hsPkgs.${x}) [
+            "cardano-api-classy"
+            "hydra-cardano-api"
+            "hydra-chain-observer"
+            "hydra-cluster"
+            "hydra-explorer"
+            "hydra-node"
+            "hydra-plutus"
+            "hydra-plutus-extras"
+            "hydra-test-utils"
+            "hydra-tui"
+            "plutus-cbor"
+            "plutus-merkle-tree"
+          ]) //
           (if pkgs.stdenv.isLinux then
             {
               inherit (packages)

hydra-node/test/Hydra/Model/Payment.hs

@@ -86,6 +86,7 @@ instance IsTx Payment where
   type UTxOType Payment = [(CardanoSigningKey, Value)]
   type ValueType Payment = Value
   txId = error "undefined"
+  txSpendingUTxO = error "undefined"
   balance = foldMap snd
   hashUTxO = encodeUtf8 . show @Text