Sulkta-OSS/agora
3
0
Fork 0
Code Issues 1 Pull requests Projects Releases Packages Wiki Activity Actions

remove redundant import Prelude

Browse source
This commit is contained in:
Hongrui Fang 2022-10-10 11:29:42 +08:00
parent 777c55cd88
commit 5ee084308b
5 changed files with 0 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

1
agora-bench/Main.hs
View file

@ -16,7 +16,6 @@ import Spec.Stake qualified as Stake
import Spec.Treasury qualified as Treasury import Spec.Treasury qualified as Treasury
import System.IO (hIsTerminalDevice, stdout) import System.IO (hIsTerminalDevice, stdout)
import Test.Specification (group) import Test.Specification (group)
import Prelude
-------------------------------------------------------------------------------- --------------------------------------------------------------------------------

4
agora-test/Spec.hs
View file

@ -1,7 +1,3 @@
import Prelude
--------------------------------------------------------------------------------
import GHC.IO.Encoding (setLocaleEncoding, utf8) import GHC.IO.Encoding (setLocaleEncoding, utf8)
import Test.Tasty (defaultMain, testGroup) import Test.Tasty (defaultMain, testGroup)

1
agora-testlib/Test/Util.hs
View file

@ -63,7 +63,6 @@ import PlutusTx.AssocMap qualified as AssocMap
import PlutusTx.Builtins qualified as PlutusTx import PlutusTx.Builtins qualified as PlutusTx
import PlutusTx.IsData qualified as PlutusTx import PlutusTx.IsData qualified as PlutusTx
import PlutusTx.Ord qualified as PlutusTx import PlutusTx.Ord qualified as PlutusTx
import Prelude
-------------------------------------------------------------------------------- --------------------------------------------------------------------------------

1
agora/Agora/Aeson/Orphans.hs
View file

@ -5,7 +5,6 @@ module Agora.Aeson.Orphans (AsBase16Bytes (..)) where
-------------------------------------------------------------------------------- --------------------------------------------------------------------------------
import Data.Coerce (Coercible, coerce) import Data.Coerce (Coercible, coerce)
import Prelude
-------------------------------------------------------------------------------- --------------------------------------------------------------------------------

1
agora/Agora/Proposal/Time.hs
View file

@ -60,7 +60,6 @@ import Plutarch.Lift (
) )
import PlutusLedgerApi.V1 (POSIXTime) import PlutusLedgerApi.V1 (POSIXTime)
import PlutusTx qualified import PlutusTx qualified
import Prelude
-------------------------------------------------------------------------------- --------------------------------------------------------------------------------