Removed sorting from Proposals translation

IntersectMBO · Apr 29, 2024 · 923f128 · 923f128
1 parent 32b2552
commit 923f128
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 4 deletions.
diff --git a/cabal.project b/cabal.project
@@ -13,8 +13,8 @@ repository cardano-haskell-packages
 source-repository-package
   type: git
   location: https://github.com/input-output-hk/cardano-ledger-executable-spec.git
-  tag: 2b5ab90a871a5b9382d2f1846f4ef62aeb11b1ee
-  --sha256: sha256-IDXp1pM212sa4LloBKcGfjWz6stgZ8/iqQW3PHj6SZg=
+  tag: ac7af152d7d4c7b3ef1f3513e637c2c1e86ca30e
+  --sha256: sha256-hOdJTXA+vxm2Gh7t0hKXtSJ+3/iCoNyrzEiMzWGs6s4=
 
 index-state:
   -- Bump this if you need newer packages from Hackage

diff --git a/libs/cardano-ledger-conformance/src/Test/Cardano/Ledger/Conformance/SpecTranslate/Conway.hs b/libs/cardano-ledger-conformance/src/Test/Cardano/Ledger/Conformance/SpecTranslate/Conway.hs
@@ -115,7 +115,6 @@ import Data.Bitraversable (bimapM)
 import Data.Data (Typeable)
 import Data.Default.Class (Default (..))
 import Data.Foldable (Foldable (..))
-import Data.List (sortOn)
 import qualified Data.List as L
 import Data.Map.Strict (Map)
 import qualified Data.Map.Strict as Map
@@ -954,7 +953,6 @@ instance EraPParams era => SpecTranslate ctx (Proposals era) where
   type SpecRep (Proposals era) = Agda.GovState
 
   toSpecRep = toSpecRep . view pPropsL
-  specToTestRep = sortOn fst
 
 instance Crypto c => SpecTranslate ctx (MaryValue c) where
   type SpecRep (MaryValue c) = Agda.Coin