[ADP-3181] Add new cardano-ledger-fine namespace (#35)

- [x] moved the cardano ledger specs out of the lib
- [x] add CI checks that they fine-types check
ADP-3181

.buildkite/pipeline.yml

@@ -8,7 +8,7 @@ env:
   # Per-host variables - shared across containers on host
   macos: "x86_64-darwin"
   linux: "x86_64-linux"
-  nix: "nix develop --accept-flake-config"
+  nix: "nix develop --accept-flake-config --allow-import-from-derivation"
 
 steps:
 
@@ -47,3 +47,11 @@ steps:
       system: ${linux}
     env:
       TMPDIR: "/cache"
+  - label: "Check cardano-ledger-specs"
+    depends_on: linux-nix
+    command: |
+      ${nix} --command bash -c scripts/cardano-ledger-specs.sh
+    agents:
+      system: ${linux}
+    env:
+      TMPDIR: "/cache"

.gitignore

@@ -25,3 +25,5 @@ cabal*.project.local*
 .ghci
 hie.yaml
 .direnv/
+result
+lib/cardano-ledger-specs/fine-types

lib/fine-types/fine-types.cabal

@@ -119,12 +119,6 @@ test-suite unit
   main-is:
     Spec.hs
   other-modules:
-    Language.FineTypes.Cardano.Ledger.AlonzoSpec
-    Language.FineTypes.Cardano.Ledger.AllegraSpec
-    Language.FineTypes.Cardano.Ledger.BabbageSpec
-    Language.FineTypes.Cardano.Ledger.Common
-    Language.FineTypes.Cardano.Ledger.MarySpec
-    Language.FineTypes.Cardano.Ledger.ShelleySpec
     Language.FineTypes.Export.OpenAPI.SchemaSpec
     Language.FineTypes.Export.OpenAPI.ValueSpec
     Language.FineTypes.PackageSpec

scripts/cardano-ledger-specs.sh

@@ -0,0 +1,12 @@
+#!/usr/bin/env bash
+
+set -euo pipefail
+
+nix build --accept-flake-config .#fine-types:exe:fine-types
+cd lib/cardano-ledger-specs/
+fine_types="../../result/bin/fine-types"
+$fine_types check -i Shelley.fine
+$fine_types check -i Allegra.fine
+$fine_types check -i Mary.fine
+$fine_types check -i Alonzo.fine
+$fine_types check -i Babbage.fine