From 43cba298e53e30c244fc9cdbda8297774a5ad790 Mon Sep 17 00:00:00 2001 From: Marty Stumpf Date: Wed, 20 Sep 2023 09:03:54 -0700 Subject: [PATCH] Remove misplaced golden files. --- plutus-tx-plugin/compare.uplc-size.golden | 1 - plutus-tx-plugin/denominator.uplc-size.golden | 1 - plutus-tx-plugin/equal.uplc-size.golden | 1 - .../fromBuiltinData.uplc-size.golden | 1 - plutus-tx-plugin/fromInteger.uplc-size.golden | 1 - .../greater-than-equal.uplc-size.golden | 1 - .../greater-than.uplc-size.golden | 1 - .../less-than-equal.uplc-size.golden | 1 - plutus-tx-plugin/less-than.uplc-size.golden | 1 - plutus-tx-plugin/max.uplc-size.golden | 1 - plutus-tx-plugin/min.uplc-size.golden | 1 - plutus-tx-plugin/minus.uplc-size.golden | 1 - .../negate-specialized.uplc-size.golden | 1 - plutus-tx-plugin/not-equal.uplc-size.golden | 1 - plutus-tx-plugin/numerator.uplc-size.golden | 1 - plutus-tx-plugin/one.uplc-size.golden | 1 - plutus-tx-plugin/plus.uplc-size.golden | 1 - plutus-tx-plugin/plutus-tx-plugin.cabal | 208 ------------------ .../properFraction.uplc-size.golden | 1 - plutus-tx-plugin/ratio.uplc-size.golden | 1 - plutus-tx-plugin/recip.uplc-size.golden | 1 - plutus-tx-plugin/round.uplc-size.golden | 1 - plutus-tx-plugin/scale.uplc-size.golden | 1 - plutus-tx-plugin/times.uplc-size.golden | 1 - .../toBuiltinData.uplc-size.golden | 1 - plutus-tx-plugin/truncate.uplc-size.golden | 1 - .../unsafeFromBuiltinData.uplc-size.golden | 1 - plutus-tx-plugin/unsafeRatio.uplc-size.golden | 1 - plutus-tx-plugin/zero.uplc-size.golden | 1 - 29 files changed, 236 deletions(-) delete mode 100644 plutus-tx-plugin/compare.uplc-size.golden delete mode 100644 plutus-tx-plugin/denominator.uplc-size.golden delete mode 100644 plutus-tx-plugin/equal.uplc-size.golden delete mode 100644 plutus-tx-plugin/fromBuiltinData.uplc-size.golden delete mode 100644 plutus-tx-plugin/fromInteger.uplc-size.golden delete mode 100644 plutus-tx-plugin/greater-than-equal.uplc-size.golden delete mode 100644 plutus-tx-plugin/greater-than.uplc-size.golden delete mode 100644 plutus-tx-plugin/less-than-equal.uplc-size.golden delete mode 100644 plutus-tx-plugin/less-than.uplc-size.golden delete mode 100644 plutus-tx-plugin/max.uplc-size.golden delete mode 100644 plutus-tx-plugin/min.uplc-size.golden delete mode 100644 plutus-tx-plugin/minus.uplc-size.golden delete mode 100644 plutus-tx-plugin/negate-specialized.uplc-size.golden delete mode 100644 plutus-tx-plugin/not-equal.uplc-size.golden delete mode 100644 plutus-tx-plugin/numerator.uplc-size.golden delete mode 100644 plutus-tx-plugin/one.uplc-size.golden delete mode 100644 plutus-tx-plugin/plus.uplc-size.golden delete mode 100644 plutus-tx-plugin/plutus-tx-plugin.cabal delete mode 100644 plutus-tx-plugin/properFraction.uplc-size.golden delete mode 100644 plutus-tx-plugin/ratio.uplc-size.golden delete mode 100644 plutus-tx-plugin/recip.uplc-size.golden delete mode 100644 plutus-tx-plugin/round.uplc-size.golden delete mode 100644 plutus-tx-plugin/scale.uplc-size.golden delete mode 100644 plutus-tx-plugin/times.uplc-size.golden delete mode 100644 plutus-tx-plugin/toBuiltinData.uplc-size.golden delete mode 100644 plutus-tx-plugin/truncate.uplc-size.golden delete mode 100644 plutus-tx-plugin/unsafeFromBuiltinData.uplc-size.golden delete mode 100644 plutus-tx-plugin/unsafeRatio.uplc-size.golden delete mode 100644 plutus-tx-plugin/zero.uplc-size.golden diff --git a/plutus-tx-plugin/compare.uplc-size.golden b/plutus-tx-plugin/compare.uplc-size.golden deleted file mode 100644 index 8783e305111..00000000000 --- a/plutus-tx-plugin/compare.uplc-size.golden +++ /dev/null @@ -1 +0,0 @@ -53 \ No newline at end of file diff --git a/plutus-tx-plugin/denominator.uplc-size.golden b/plutus-tx-plugin/denominator.uplc-size.golden deleted file mode 100644 index 62f9457511f..00000000000 --- a/plutus-tx-plugin/denominator.uplc-size.golden +++ /dev/null @@ -1 +0,0 @@ -6 \ No newline at end of file diff --git a/plutus-tx-plugin/equal.uplc-size.golden b/plutus-tx-plugin/equal.uplc-size.golden deleted file mode 100644 index dce6588ca14..00000000000 --- a/plutus-tx-plugin/equal.uplc-size.golden +++ /dev/null @@ -1 +0,0 @@ -36 \ No newline at end of file diff --git a/plutus-tx-plugin/fromBuiltinData.uplc-size.golden b/plutus-tx-plugin/fromBuiltinData.uplc-size.golden deleted file mode 100644 index 8c19d14d407..00000000000 --- a/plutus-tx-plugin/fromBuiltinData.uplc-size.golden +++ /dev/null @@ -1 +0,0 @@ -369 \ No newline at end of file diff --git a/plutus-tx-plugin/fromInteger.uplc-size.golden b/plutus-tx-plugin/fromInteger.uplc-size.golden deleted file mode 100644 index bf0d87ab1b2..00000000000 --- a/plutus-tx-plugin/fromInteger.uplc-size.golden +++ /dev/null @@ -1 +0,0 @@ -4 \ No newline at end of file diff --git a/plutus-tx-plugin/greater-than-equal.uplc-size.golden b/plutus-tx-plugin/greater-than-equal.uplc-size.golden deleted file mode 100644 index 8580e7b684b..00000000000 --- a/plutus-tx-plugin/greater-than-equal.uplc-size.golden +++ /dev/null @@ -1 +0,0 @@ -30 \ No newline at end of file diff --git a/plutus-tx-plugin/greater-than.uplc-size.golden b/plutus-tx-plugin/greater-than.uplc-size.golden deleted file mode 100644 index 8580e7b684b..00000000000 --- a/plutus-tx-plugin/greater-than.uplc-size.golden +++ /dev/null @@ -1 +0,0 @@ -30 \ No newline at end of file diff --git a/plutus-tx-plugin/less-than-equal.uplc-size.golden b/plutus-tx-plugin/less-than-equal.uplc-size.golden deleted file mode 100644 index 8580e7b684b..00000000000 --- a/plutus-tx-plugin/less-than-equal.uplc-size.golden +++ /dev/null @@ -1 +0,0 @@ -30 \ No newline at end of file diff --git a/plutus-tx-plugin/less-than.uplc-size.golden b/plutus-tx-plugin/less-than.uplc-size.golden deleted file mode 100644 index 8580e7b684b..00000000000 --- a/plutus-tx-plugin/less-than.uplc-size.golden +++ /dev/null @@ -1 +0,0 @@ -30 \ No newline at end of file diff --git a/plutus-tx-plugin/max.uplc-size.golden b/plutus-tx-plugin/max.uplc-size.golden deleted file mode 100644 index dce6588ca14..00000000000 --- a/plutus-tx-plugin/max.uplc-size.golden +++ /dev/null @@ -1 +0,0 @@ -36 \ No newline at end of file diff --git a/plutus-tx-plugin/min.uplc-size.golden b/plutus-tx-plugin/min.uplc-size.golden deleted file mode 100644 index dce6588ca14..00000000000 --- a/plutus-tx-plugin/min.uplc-size.golden +++ /dev/null @@ -1 +0,0 @@ -36 \ No newline at end of file diff --git a/plutus-tx-plugin/minus.uplc-size.golden b/plutus-tx-plugin/minus.uplc-size.golden deleted file mode 100644 index a46c9d2265d..00000000000 --- a/plutus-tx-plugin/minus.uplc-size.golden +++ /dev/null @@ -1 +0,0 @@ -91 \ No newline at end of file diff --git a/plutus-tx-plugin/negate-specialized.uplc-size.golden b/plutus-tx-plugin/negate-specialized.uplc-size.golden deleted file mode 100644 index 3cacc0b93c9..00000000000 --- a/plutus-tx-plugin/negate-specialized.uplc-size.golden +++ /dev/null @@ -1 +0,0 @@ -12 \ No newline at end of file diff --git a/plutus-tx-plugin/not-equal.uplc-size.golden b/plutus-tx-plugin/not-equal.uplc-size.golden deleted file mode 100644 index f70d7bba4ae..00000000000 --- a/plutus-tx-plugin/not-equal.uplc-size.golden +++ /dev/null @@ -1 +0,0 @@ -42 \ No newline at end of file diff --git a/plutus-tx-plugin/numerator.uplc-size.golden b/plutus-tx-plugin/numerator.uplc-size.golden deleted file mode 100644 index 62f9457511f..00000000000 --- a/plutus-tx-plugin/numerator.uplc-size.golden +++ /dev/null @@ -1 +0,0 @@ -6 \ No newline at end of file diff --git a/plutus-tx-plugin/one.uplc-size.golden b/plutus-tx-plugin/one.uplc-size.golden deleted file mode 100644 index 62f9457511f..00000000000 --- a/plutus-tx-plugin/one.uplc-size.golden +++ /dev/null @@ -1 +0,0 @@ -6 \ No newline at end of file diff --git a/plutus-tx-plugin/plus.uplc-size.golden b/plutus-tx-plugin/plus.uplc-size.golden deleted file mode 100644 index a46c9d2265d..00000000000 --- a/plutus-tx-plugin/plus.uplc-size.golden +++ /dev/null @@ -1 +0,0 @@ -91 \ No newline at end of file diff --git a/plutus-tx-plugin/plutus-tx-plugin.cabal b/plutus-tx-plugin/plutus-tx-plugin.cabal deleted file mode 100644 index e48146cb327..00000000000 --- a/plutus-tx-plugin/plutus-tx-plugin.cabal +++ /dev/null @@ -1,208 +0,0 @@ -cabal-version: 3.0 -name: plutus-tx-plugin -version: 1.13.0.0 -license: Apache-2.0 -license-files: - LICENSE - NOTICE - -maintainer: michael.peyton-jones@iohk.io -author: Michael Peyton Jones -synopsis: The Plutus Tx compiler and GHC plugin -description: The Plutus Tx compiler and GHC plugin. -category: Language -build-type: Simple -extra-doc-files: README.md - -source-repository head - type: git - location: https://github.com/input-output-hk/plutus - -common lang - default-language: Haskell2010 - default-extensions: - DeriveFoldable - DeriveFunctor - DeriveGeneric - DeriveLift - DeriveTraversable - DerivingStrategies - ExplicitForAll - GeneralizedNewtypeDeriving - ImportQualifiedPost - ScopedTypeVariables - StandaloneDeriving - - -- See Plutus Tx readme for why we need the following flags: - -- -fobject-code -fno-ignore-interface-pragmas and -fno-omit-interface-pragmas - ghc-options: - -Wall -Wnoncanonical-monad-instances -Wincomplete-uni-patterns - -Wincomplete-record-updates -Wredundant-constraints -Widentities - -Wunused-packages -Wmissing-deriving-strategies -fobject-code - -fno-ignore-interface-pragmas -fno-omit-interface-pragmas - -common ghc-version-support - -- See the section on GHC versions in CONTRIBUTING - if impl(ghc <9.2) - buildable: False - -flag use-ghc-stub - description: Use the `plutus-ghc-stub` package instead of `ghc`. - default: False - manual: True - -library - import: lang, ghc-version-support - hs-source-dirs: src - exposed-modules: - PlutusTx.Compiler.Error - PlutusTx.Options - PlutusTx.Plugin - - other-modules: - PlutusTx.Compiler.Binders - PlutusTx.Compiler.Builtins - PlutusTx.Compiler.Expr - PlutusTx.Compiler.Kind - PlutusTx.Compiler.Laziness - PlutusTx.Compiler.Names - PlutusTx.Compiler.Trace - PlutusTx.Compiler.Type - PlutusTx.Compiler.Types - PlutusTx.Compiler.Utils - PlutusTx.PIRTypes - PlutusTx.PLCTypes - - build-depends: - , array - , base >=4.9 && <5 - , bytestring - , containers - , either - , extra - , flat ^>=0.6 - , lens - , mtl - , plutus-core:{plutus-core, plutus-ir} ^>=1.13 - , plutus-tx ^>=1.13 - , prettyprinter - , PyF >=0.11.1.0 - , template-haskell - , text - - if flag(use-ghc-stub) - build-depends: plutus-ghc-stub - ghc-options: - -Wno-unused-packages -Wno-unused-imports -Wno-overlapping-patterns - - else - build-depends: ghc >=9.2 - -executable gen-plugin-opts-doc - import: lang, ghc-version-support - main-is: GeneratePluginOptionsDoc.hs - hs-source-dirs: app - ghc-options: -threaded -rtsopts -with-rtsopts=-N - build-depends: - , base >=4.7 && <5 - , containers - , lens - , optparse-applicative - , plutus-tx-plugin ^>=1.13 - , prettyprinter - , PyF >=0.11.1.0 - , text - - default-language: Haskell2010 - -test-suite plutus-tx-tests - import: lang, ghc-version-support - - if flag(use-ghc-stub) - buildable: False - - type: exitcode-stdio-1.0 - hs-source-dirs: test - main-is: Spec.hs - other-modules: - Budget.Spec - IntegerLiterals.NoStrict.NegativeLiterals.Spec - IntegerLiterals.NoStrict.NoNegativeLiterals.Spec - IntegerLiterals.Strict.NegativeLiterals.Spec - IntegerLiterals.Strict.NoNegativeLiterals.Spec - IsData.Spec - Lib - Lift.Spec - Optimization.Spec - Plugin.Basic.Spec - Plugin.Coverage.Spec - Plugin.Data.Spec - Plugin.Debug.Spec - Plugin.Errors.Spec - Plugin.Functions.Spec - Plugin.Laziness.Spec - Plugin.Lib - Plugin.NoTrace.Spec - Plugin.Optimization.Spec - Plugin.Patterns.Spec - Plugin.Primitives.Spec - Plugin.Profiling.Spec - Plugin.Spec - Plugin.Strict.Spec - Plugin.Typeclasses.Lib - Plugin.Typeclasses.Spec - StdLib.Spec - Strictness.Spec - TH.Spec - TH.TestTH - - build-depends: - , base >=4.9 && <5 - , containers - , deepseq - , flat ^>=0.6 - , hedgehog - , lens - , mtl - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.13 - , plutus-tx-plugin ^>=1.13 - , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.13 - , tasty - , tasty-hedgehog - , tasty-hunit - , template-haskell - , text - - default-extensions: Strict - - -- NOTE: -g makes the plugin give better errors - -- See Note [-fno-full-laziness in Plutus Tx] - ghc-options: - -g -fno-strictness -fno-unbox-strict-fields - -fno-unbox-small-strict-fields -fno-full-laziness - -test-suite size - import: lang, ghc-version-support - - if impl(ghc <9.0) - buildable: False - - -- needs plutus-tx-plugin but it looks unused - ghc-options: -Wno-unused-packages - type: exitcode-stdio-1.0 - main-is: Main.hs - hs-source-dirs: test/size - build-depends: - , base >=4.9 && <5.0 - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.13 - , plutus-tx-plugin ^>=1.13 - , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.13 - , tagged - , tasty - - default-extensions: Strict - - -- See Note [-fno-full-laziness in Plutus Tx] - ghc-options: - -fno-strictness -fno-unbox-strict-fields - -fno-unbox-small-strict-fields -fno-full-laziness diff --git a/plutus-tx-plugin/properFraction.uplc-size.golden b/plutus-tx-plugin/properFraction.uplc-size.golden deleted file mode 100644 index b5045cc4046..00000000000 --- a/plutus-tx-plugin/properFraction.uplc-size.golden +++ /dev/null @@ -1 +0,0 @@ -21 \ No newline at end of file diff --git a/plutus-tx-plugin/ratio.uplc-size.golden b/plutus-tx-plugin/ratio.uplc-size.golden deleted file mode 100644 index 80945bc4363..00000000000 --- a/plutus-tx-plugin/ratio.uplc-size.golden +++ /dev/null @@ -1 +0,0 @@ -183 \ No newline at end of file diff --git a/plutus-tx-plugin/recip.uplc-size.golden b/plutus-tx-plugin/recip.uplc-size.golden deleted file mode 100644 index 61395542108..00000000000 --- a/plutus-tx-plugin/recip.uplc-size.golden +++ /dev/null @@ -1 +0,0 @@ -52 \ No newline at end of file diff --git a/plutus-tx-plugin/round.uplc-size.golden b/plutus-tx-plugin/round.uplc-size.golden deleted file mode 100644 index ac7cd1ac708..00000000000 --- a/plutus-tx-plugin/round.uplc-size.golden +++ /dev/null @@ -1 +0,0 @@ -279 \ No newline at end of file diff --git a/plutus-tx-plugin/scale.uplc-size.golden b/plutus-tx-plugin/scale.uplc-size.golden deleted file mode 100644 index 9cd72aa9412..00000000000 --- a/plutus-tx-plugin/scale.uplc-size.golden +++ /dev/null @@ -1 +0,0 @@ -72 \ No newline at end of file diff --git a/plutus-tx-plugin/times.uplc-size.golden b/plutus-tx-plugin/times.uplc-size.golden deleted file mode 100644 index 24af08a4875..00000000000 --- a/plutus-tx-plugin/times.uplc-size.golden +++ /dev/null @@ -1 +0,0 @@ -83 \ No newline at end of file diff --git a/plutus-tx-plugin/toBuiltinData.uplc-size.golden b/plutus-tx-plugin/toBuiltinData.uplc-size.golden deleted file mode 100644 index cabf43b5ddf..00000000000 --- a/plutus-tx-plugin/toBuiltinData.uplc-size.golden +++ /dev/null @@ -1 +0,0 @@ -24 \ No newline at end of file diff --git a/plutus-tx-plugin/truncate.uplc-size.golden b/plutus-tx-plugin/truncate.uplc-size.golden deleted file mode 100644 index 9a037142aa3..00000000000 --- a/plutus-tx-plugin/truncate.uplc-size.golden +++ /dev/null @@ -1 +0,0 @@ -10 \ No newline at end of file diff --git a/plutus-tx-plugin/unsafeFromBuiltinData.uplc-size.golden b/plutus-tx-plugin/unsafeFromBuiltinData.uplc-size.golden deleted file mode 100644 index a14c1ee5ab4..00000000000 --- a/plutus-tx-plugin/unsafeFromBuiltinData.uplc-size.golden +++ /dev/null @@ -1 +0,0 @@ -180 \ No newline at end of file diff --git a/plutus-tx-plugin/unsafeRatio.uplc-size.golden b/plutus-tx-plugin/unsafeRatio.uplc-size.golden deleted file mode 100644 index d2c5ed21248..00000000000 --- a/plutus-tx-plugin/unsafeRatio.uplc-size.golden +++ /dev/null @@ -1 +0,0 @@ -116 \ No newline at end of file diff --git a/plutus-tx-plugin/zero.uplc-size.golden b/plutus-tx-plugin/zero.uplc-size.golden deleted file mode 100644 index e440e5c8425..00000000000 --- a/plutus-tx-plugin/zero.uplc-size.golden +++ /dev/null @@ -1 +0,0 @@ -3 \ No newline at end of file