Vendor the flat package (#7308)

Author: zeme-wana

plutus-benchmark/common/PlutusBenchmark/Common.hs

@@ -50,8 +50,8 @@ import Criterion.Main
 import Criterion.Types (Config (..))
 import Data.ByteString qualified as BS
 import Data.SatInt (fromSatInt)
-import Flat qualified
 import GHC.IO.Encoding (setLocaleEncoding)
+import PlutusCore.Flat qualified as Flat
 import System.Directory
 import System.FilePath
 import System.IO

plutus-benchmark/coop/exe/Main.hs

@@ -13,7 +13,7 @@ import PlutusTx
 
 import Data.ByteString.Lazy qualified as BSL
 import Data.Foldable (traverse_)
-import Flat (flat, unflat)
+import PlutusCore.Flat (flat, unflat)
 import System.Directory (doesFileExist)
 import System.FilePath ((<.>), (</>))
 

plutus-benchmark/nofib/exe/Main.hs

@@ -15,8 +15,8 @@ import Data.Char (isSpace)
 import Data.Foldable (traverse_)
 import Data.SatInt
 import Data.String (fromString)
-import Flat qualified
 import Options.Applicative as Opt hiding (action)
+import PlutusCore.Flat qualified as Flat
 import Prettyprinter (Doc, indent, line, vsep)
 import System.Exit (exitFailure)
 import System.IO

plutus-benchmark/plutus-benchmark.cabal

@@ -93,8 +93,8 @@ library plutus-benchmark-common
     , deepseq
     , directory
     , filepath
-    , flat                         ^>=0.6
     , plutus-core                  ^>=1.53
+    , plutus-core:flat
     , plutus-ledger-api            ^>=1.53
     , plutus-tx:plutus-tx-testlib
     , tasty
@@ -133,12 +133,12 @@ executable nofib-exe
   build-depends:
     , base                     >=4.9   && <5
     , bytestring
-    , flat                     ^>=0.6
     , lens
     , nofib-internal
     , optparse-applicative
     , plutus-benchmark-common
     , plutus-core              ^>=1.53
+    , plutus-core:flat
     , plutus-tx                ^>=1.53
     , prettyprinter
     , transformers
@@ -289,10 +289,10 @@ library validation-internal
     , criterion                >=1.5.9.0
     , directory
     , filepath
-    , flat                     ^>=0.6
     , optparse-applicative
     , plutus-benchmark-common
     , plutus-core              ^>=1.53
+    , plutus-core:flat
 
 benchmark validation
   import:         lang, os-support
@@ -317,9 +317,9 @@ test-suite validation-tests
     , bytestring
     , directory
     , filepath
-    , flat                             ^>=0.6
     , plutus-benchmark-common
     , plutus-core                      ^>=1.53
+    , plutus-core:flat
     , plutus-core:plutus-core-testlib
     , plutus-tx                        ^>=1.53
     , plutus-tx:plutus-tx-testlib
@@ -780,9 +780,9 @@ executable gen-coop-flat
     , coop
     , directory
     , filepath
-    , flat
     , plutus-benchmark-common
     , plutus-core
+    , plutus-core:flat
     , plutus-ledger-api
     , plutus-tx                    ^>=1.53
     , plutus-tx:plutus-tx-testlib

plutus-benchmark/validation/src/PlutusBenchmark/Validation/Common.hs

@@ -24,7 +24,7 @@ import Options.Applicative
 
 import Data.ByteString qualified as BS
 import Data.List (isPrefixOf)
-import Flat
+import PlutusCore.Flat
 import System.Directory (listDirectory)
 import System.FilePath
 

plutus-benchmark/validation/test/Spec.hs

@@ -14,7 +14,7 @@ import PlutusTx.Test qualified as Tx
 import UntypedPlutusCore qualified as UPLC
 
 import Data.ByteString qualified as BS
-import Flat
+import PlutusCore.Flat
 import System.Directory (listDirectory)
 import System.FilePath
 

plutus-core/executables/plutus/AnyProgram/IO.hs

@@ -23,7 +23,7 @@ import Data.ByteString.Lazy qualified as BSL
 import Data.Maybe
 import Data.Singletons.Decide
 import Data.Text.Encoding qualified as T
-import Flat
+import PlutusCore.Flat
 import Prettyprinter
 import Prettyprinter.Render.Text
 import System.IO

plutus-core/executables/src/PlutusCore/Executable/AstIO.hs

@@ -32,7 +32,7 @@ import UntypedPlutusCore qualified as UPLC
 
 import Control.Lens (traverseOf)
 import Data.ByteString.Lazy qualified as BSL
-import Flat (Flat, flat, unflat)
+import PlutusCore.Flat (Flat, flat, unflat)
 
 type UplcProgDB ann = UPLC.Program PLC.DeBruijn PLC.DefaultUni PLC.DefaultFun ann
 type UplcProgNDB ann = UPLC.Program PLC.NamedDeBruijn PLC.DefaultUni PLC.DefaultFun ann

plutus-core/executables/src/PlutusCore/Executable/Common.hs

@@ -80,8 +80,8 @@ import Data.Proxy (Proxy (..))
 import Data.SatInt
 import Data.Text qualified as T
 import Data.Text.IO qualified as T
-import Flat (Flat)
 import GHC.TypeLits (symbolVal)
+import PlutusCore.Flat (Flat)
 import Prettyprinter ((<+>))
 
 import Text.Megaparsec (errorBundlePretty)

plutus-core/flat/LICENSE

@@ -0,0 +1,30 @@
+Copyright (c) 2016, Pasqualino `Titto` Assini 
+
+All rights reserved.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions are met:
+
+    * Redistributions of source code must retain the above copyright
+      notice, this list of conditions and the following disclaimer.
+
+    * Redistributions in binary form must reproduce the above
+      copyright notice, this list of conditions and the following
+      disclaimer in the documentation and/or other materials provided
+      with the distribution.
+
+    * Neither the name of the copyright holder nor the names of other
+      contributors may be used to endorse or promote products derived
+      from this software without specific prior written permission.
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
+A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
+OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
+SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
+LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
+THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.