Merge pull request #4763 from IntersectMBO/lehins/remove-ImpSpec

Remove ImpSpec
IntersectMBO · Nov 20, 2024 · caec1e9 · caec1e9
2 parents 9163cc4 + f4e5a77
commit caec1e9
Show file tree

Hide file tree

Showing 15 changed files with 4 additions and 932 deletions.
diff --git a/.github/workflows/haskell.yml b/.github/workflows/haskell.yml
@@ -213,7 +213,6 @@ jobs:
         - set-algebra
         - small-steps
         - vector-map
-        - ImpSpec
         ghc: ["8.10.7", "9.2.8", "9.6.6", "9.8.2", "9.10.1"]
         os: [ubuntu-latest]
       fail-fast: false

diff --git a/cabal.project b/cabal.project
@@ -44,7 +44,7 @@ source-repository-package
 
 index-state:
   -- Bump this if you need newer packages from Hackage
-  , hackage.haskell.org 2024-11-07T23:54:03Z
+  , hackage.haskell.org 2024-11-20T00:00:00Z
   -- Bump this if you need newer packages from CHaP
   , cardano-haskell-packages 2024-11-05T09:09:23Z
 
@@ -69,7 +69,6 @@ packages:
   libs/cardano-data
   libs/set-algebra
   libs/vector-map
-  libs/ImpSpec
 
   -- == Byron era ==
   -- byron-spec-chain:

diff --git a/flake.lock b/flake.lock
diff --git a/hie.yaml b/hie.yaml
@@ -174,12 +174,6 @@ cradle:
     - path: "eras/shelley-ma/test-suite/test"
       component: "cardano-ledger-shelley-ma-test:test:cardano-ledger-shelley-ma-test"
 
-    - path: "libs/ImpSpec/src"
-      component: "lib:ImpSpec"
-
-    - path: "libs/ImpSpec/test"
-      component: "ImpSpec:test:tests"
-
     - path: "libs/cardano-data/src"
       component: "lib:cardano-data"
 

diff --git a/libs/ImpSpec/CHANGELOG.md b/libs/ImpSpec/CHANGELOG.md
diff --git a/libs/ImpSpec/ImpSpec.cabal b/libs/ImpSpec/ImpSpec.cabal
diff --git a/libs/ImpSpec/Setup.hs b/libs/ImpSpec/Setup.hs
diff --git a/libs/ImpSpec/src/Test/ImpSpec.hs b/libs/ImpSpec/src/Test/ImpSpec.hs
diff --git a/libs/ImpSpec/src/Test/ImpSpec/Expectations.hs b/libs/ImpSpec/src/Test/ImpSpec/Expectations.hs