Skip to content

Commit

Permalink
Add HIE targets
Browse files Browse the repository at this point in the history
  • Loading branch information
lehins committed Aug 8, 2023
1 parent 54ee9ad commit f2a204d
Show file tree
Hide file tree
Showing 12 changed files with 24 additions and 12 deletions.
2 changes: 1 addition & 1 deletion eras/allegra/impl/src/Cardano/Ledger/Allegra/Scripts.hs
Original file line number Diff line number Diff line change
Expand Up @@ -40,7 +40,6 @@ module Cardano.Ledger.Allegra.Scripts (
)
where

import Cardano.Ledger.TreeDiff (ToExpr)
import Cardano.Crypto.Hash.Class (HashAlgorithm)
import Cardano.Ledger.Allegra.Era (AllegraEra)
import Cardano.Ledger.BaseTypes (StrictMaybe (SJust, SNothing))
Expand Down Expand Up @@ -75,6 +74,7 @@ import Cardano.Ledger.MemoBytes (
import Cardano.Ledger.SafeHash (SafeToHash)
import Cardano.Ledger.Shelley.Scripts (nativeMultiSigTag)
import qualified Cardano.Ledger.Shelley.Scripts as Shelley
import Cardano.Ledger.TreeDiff (ToExpr)
import Cardano.Slotting.Slot (SlotNo (..))
import Control.DeepSeq (NFData (..))
import Data.ByteString.Lazy (fromStrict)
Expand Down
2 changes: 1 addition & 1 deletion eras/allegra/impl/test/Main.hs
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
module Main where

import Test.Cardano.Ledger.Common
import qualified Test.Cardano.Ledger.Allegra.BinarySpec as BinarySpec
import Test.Cardano.Ledger.Common

main :: IO ()
main =
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -3,8 +3,8 @@
module Test.Cardano.Ledger.Allegra.BinarySpec (spec) where

import Cardano.Ledger.Allegra
import Test.Cardano.Ledger.Allegra.Arbitrary ()
import Cardano.Ledger.Allegra.TxAuxData
import Test.Cardano.Ledger.Allegra.Arbitrary ()
import Test.Cardano.Ledger.Common
import Test.Cardano.Ledger.Core.Binary as UpgradeSpec

Expand Down
1 change: 0 additions & 1 deletion eras/alonzo/impl/cardano-ledger-alonzo.cabal
Original file line number Diff line number Diff line change
Expand Up @@ -120,7 +120,6 @@ library testlib
plutus-core,
text


test-suite tests
type: exitcode-stdio-1.0
main-is: Main.hs
Expand Down
2 changes: 1 addition & 1 deletion eras/alonzo/impl/test/Main.hs
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
module Main where

import Test.Cardano.Ledger.Common
import qualified Test.Cardano.Ledger.Alonzo.BinarySpec as BinarySpec
import Test.Cardano.Ledger.Common

main :: IO ()
main =
Expand Down
3 changes: 2 additions & 1 deletion eras/babbage/impl/src/Cardano/Ledger/Babbage/TxAuxData.hs
Original file line number Diff line number Diff line change
@@ -1,12 +1,13 @@
{-# LANGUAGE TypeFamilies #-}
{-# OPTIONS_GHC -Wno-orphans #-}

module Cardano.Ledger.Babbage.TxAuxData () where

import Cardano.Ledger.Alonzo.TxAuxData (
AlonzoTxAuxData,
hashAlonzoTxAuxData,
translateAlonzoTxAuxData,
validateAlonzoTxAuxData,
translateAlonzoTxAuxData
)
import Cardano.Ledger.Babbage.Era
import Cardano.Ledger.Core
Expand Down
2 changes: 1 addition & 1 deletion eras/babbage/impl/test/Main.hs
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
module Main where

import Test.Cardano.Ledger.Common
import qualified Test.Cardano.Ledger.Babbage.BinarySpec as BinarySpec
import Test.Cardano.Ledger.Common

main :: IO ()
main =
Expand Down
1 change: 0 additions & 1 deletion eras/conway/impl/cardano-ledger-conway.cabal
Original file line number Diff line number Diff line change
Expand Up @@ -108,7 +108,6 @@ library testlib
cardano-ledger-conway,
small-steps


test-suite tests
type: exitcode-stdio-1.0
main-is: Main.hs
Expand Down
3 changes: 2 additions & 1 deletion eras/conway/impl/src/Cardano/Ledger/Conway/TxAuxData.hs
Original file line number Diff line number Diff line change
@@ -1,12 +1,13 @@
{-# LANGUAGE TypeFamilies #-}
{-# OPTIONS_GHC -Wno-orphans #-}

module Cardano.Ledger.Conway.TxAuxData () where

import Cardano.Ledger.Alonzo.TxAuxData (
AlonzoTxAuxData,
hashAlonzoTxAuxData,
translateAlonzoTxAuxData,
validateAlonzoTxAuxData,
translateAlonzoTxAuxData
)
import Cardano.Ledger.Conway.Era
import Cardano.Ledger.Core
Expand Down
2 changes: 1 addition & 1 deletion eras/mary/impl/test/Main.hs
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
module Main where

import Test.Cardano.Ledger.Common
import qualified Test.Cardano.Ledger.Mary.ValueSpec as ValueSpec
import qualified Test.Cardano.Ledger.Mary.BinarySpec as BinarySpec
import qualified Test.Cardano.Ledger.Mary.ValueSpec as ValueSpec

main :: IO ()
main =
Expand Down
4 changes: 2 additions & 2 deletions eras/mary/impl/test/Test/Cardano/Ledger/Mary/BinarySpec.hs
Original file line number Diff line number Diff line change
Expand Up @@ -2,11 +2,11 @@

module Test.Cardano.Ledger.Mary.BinarySpec (spec) where

import Cardano.Ledger.Mary
import Test.Cardano.Ledger.Mary.Arbitrary ()
import Cardano.Ledger.Allegra.TxAuxData
import Cardano.Ledger.Mary
import Test.Cardano.Ledger.Common
import Test.Cardano.Ledger.Core.Binary as UpgradeSpec
import Test.Cardano.Ledger.Mary.Arbitrary ()

spec :: Spec
spec = specUpgrade @Mary @AllegraTxAuxData True
12 changes: 12 additions & 0 deletions hie.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -6,12 +6,18 @@ cradle:
- path: "eras/allegra/impl/testlib"
component: "cardano-ledger-allegra:lib:testlib"

- path: "eras/allegra/impl/test"
component: "cardano-ledger-allegra:test:tests"

- path: "eras/alonzo/impl/src"
component: "lib:cardano-ledger-alonzo"

- path: "eras/alonzo/impl/testlib"
component: "cardano-ledger-alonzo:lib:testlib"

- path: "eras/alonzo/impl/test"
component: "cardano-ledger-alonzo:test:tests"

- path: "eras/alonzo/test-suite/src"
component: "lib:cardano-ledger-alonzo-test"

Expand All @@ -30,6 +36,9 @@ cradle:
- path: "eras/babbage/impl/testlib"
component: "cardano-ledger-babbage:lib:testlib"

- path: "eras/babbage/impl/test"
component: "cardano-ledger-babbage:test:tests"

- path: "eras/babbage/test-suite/src"
component: "lib:cardano-ledger-babbage-test"

Expand Down Expand Up @@ -81,6 +90,9 @@ cradle:
- path: "eras/conway/impl/testlib"
component: "cardano-ledger-conway:lib:testlib"

- path: "eras/conway/impl/test"
component: "cardano-ledger-conway:test:tests"

- path: "eras/conway/test-suite/src"
component: "lib:cardano-ledger-conway-test"

Expand Down

0 comments on commit f2a204d

Please sign in to comment.