Optimization refactoring: VarsInfo and BuiltinsInfo, pure conapps (#5551

) * Add VarInfo pass, use it everywhere * Add BuiltinsInfo type, use it everywhere * Strictify bindings uses VarsInfo * LetFloatOut uses VarsInfo * ThunkRecursions uses VarsInfo * LetFloatIn uses VarsInfo * Conapps are pure * Changelog * Update 9.6 test output * Fix pir * More fixups?? * Comments
IntersectMBO · Sep 23, 2023 · 68827c1 · 68827c1
1 parent fb2c3e9
commit 68827c1
Show file tree

Hide file tree

Showing 400 changed files with 6,347 additions and 5,760 deletions.
diff --git a/doc/read-the-docs-site/index.rst b/doc/read-the-docs-site/index.rst
@@ -39,6 +39,7 @@ for writing Haskell code that can be compiled to Plutus Core.
 
    explanations/index
    simple-example
+   quick-start
    extensions-flags-pragmas
    tutorials/index
    howtos/index

diff --git a/doc/read-the-docs-site/quick-start.rst b/doc/read-the-docs-site/quick-start.rst
@@ -0,0 +1,62 @@
+.. _quick_start:
+
+Quick Start
+=================================
+
+This guide gets you started on setting up the dev environment for a simple Cardano smart contract, with the on-chain validator written in Plutus Tx.
+There are several other options for writing on-chain validators, such as `Aiken <https://aiken-lang.org/>`_ and `OpShin <https://github.com/OpShin/opshin>`_, and you can refer to their respective documentation for how to use them.
+
+If you have any questions regarding this guide, open an issue `here <https://github.com/input-output-hk/plutus/issues>`_.
+
+Writing the On-Chain Validator
+-------------------------------------------------
+
+Prerequisites
+~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+
+GHC and Cabal should be installed in order to follow this guide.
+Plutus Tx currently supports GHC v9.2.x and v9.6.x.
+Cabal v3.8+ is recommended.
+
+Create a New Cabal Package
+~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+
+First, make a new directory ``plutus-quickstart``: ::
+
+  mkdir plutus-quickstart && cd $_
+
+Then, create a new Cabal package that builds a library, using default settings: ::
+
+  cabal init --lib --non-interactive
+
+Declare Plutus Tx Dependencies
+~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+
+Now, declare the following packages as dependencies: ``plutus-core``, ``plutus-ledger-api``, ``plutus-tx``, and ``plutus-tx-plugin``.
+These packages aren't on Hackage (the default repository Cabal looks for packages from), but on the `CHaP <https://github.com/input-output-hk/cardano-haskell-packages>`_ repository.
+We need to tell Cabal to look for packages also from CHaP.
+To do so, make a ``cabal.project`` file, and follow the instructions in the CHaP repository to make Cabal aware of CHaP.
+Then, add the following to your ``cabal.project``: ::
+
+  packages:
+    ./plutus-quickstart.cabal
+
+Finally, add the aformentioned packages in the ``build-depends`` field in ``plutus-quickstart.cabal``: ::
+
+  build-depends:
+    , base
+    , plutus-core
+    , plutus-ledger-api
+    , plutus-tx
+    , plutus-tx-plugin
+
+Before we can build it, some C libraries need to be installed.
+Plutus Tx depends on `cardano-base <https://github.com/input-output-hk/cardano-base>`_, which in turn depends on a few cryptographic C libraries, including ``libblst``, ``libsecp256k1``, and ``libsodium``.
+Cabal is not designed to manage C dependencies, so you need to either install them yourself, or manage them using another tool (such as Nix).
+
+If you are not using Nix, follow the instructions in the cardano-base repository to install these libraries.
+If you are, you can use plutus repository's dev shell: ::
+
+  nix develop github:input-output-hk/plutus
+
+At this point, you should be able to build your project: ``cabal build plutus-quickstart`` should succeed.
diff --git a/doc/read-the-docs-site/tutorials/AuctionValidator.hs b/doc/read-the-docs-site/tutorials/AuctionValidator.hs
@@ -1,12 +1,23 @@
-{-# LANGUAGE DataKinds         #-}
-{-# LANGUAGE OverloadedStrings #-}
-{-# LANGUAGE TemplateHaskell   #-}
-
+{-# LANGUAGE DataKinds             #-}
+{-# LANGUAGE ImportQualifiedPost   #-}
+{-# LANGUAGE MultiParamTypeClasses #-}
+{-# LANGUAGE OverloadedStrings     #-}
+{-# LANGUAGE ScopedTypeVariables   #-}
+{-# LANGUAGE Strict                #-}
+{-# LANGUAGE TemplateHaskell       #-}
+
+{-# OPTIONS_GHC -fno-ignore-interface-pragmas #-}
+{-# OPTIONS_GHC -fno-omit-interface-pragmas #-}
+{-# OPTIONS_GHC -fno-full-laziness #-}
+{-# OPTIONS_GHC -fno-spec-constr #-}
+{-# OPTIONS_GHC -fno-specialise #-}
+{-# OPTIONS_GHC -fno-strictness #-}
+{-# OPTIONS_GHC -fno-unbox-strict-fields #-}
+{-# OPTIONS_GHC -fno-unbox-small-strict-fields #-}
 {-# OPTIONS_GHC -fplugin-opt PlutusTx.Plugin:target-version=1.0.0 #-}
 
 module AuctionValidator where
 
-import PlutusCore.Default qualified as PLC
 import PlutusCore.Version (plcVersion100)
 import PlutusLedgerApi.V1 (POSIXTime, PubKeyHash, Value, adaSymbol, adaToken, singleton)
 import PlutusLedgerApi.V1.Address (pubKeyHashAddress)
@@ -15,13 +26,8 @@ import PlutusLedgerApi.V2 (Datum (..), OutputDatum (..), ScriptContext (..), TxI
                            TxOut (..), from, to)
 import PlutusLedgerApi.V2.Contexts (getContinuingOutputs)
 import PlutusTx
-import PlutusTx.Bool
-import PlutusTx.Builtins
-import PlutusTx.Lift
-import PlutusTx.Maybe
 import PlutusTx.Prelude qualified as PlutusTx
 import PlutusTx.Show qualified as PlutusTx
-import Prelude qualified as Haskell
 
 -- BLOCK1
 data AuctionParams = AuctionParams

diff --git a/...ole-payout/0004000402010401030101030100040000010104020201030001000204020401.budget.golden b/...ole-payout/0004000402010401030101030100040000010104020201030001000204020401.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 272607771
-| mem: 966608})
+({cpu: 272400771
+| mem: 965708})
diff --git a/...ole-payout/0100000100010000000001000100010101000101000001000000010000010000.budget.golden b/...ole-payout/0100000100010000000001000100010101000101000001000000010000010000.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 401023590
-| mem: 1482914})
+({cpu: 400816590
+| mem: 1482014})
diff --git a/...ole-payout/0101000100000101010000010101000100010101000001000001000000010101.budget.golden b/...ole-payout/0101000100000101010000010101000100010101000001000001000000010101.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 293263997
-| mem: 1051008})
+({cpu: 293194997
+| mem: 1050708})
diff --git a/...ole-payout/01dcc372ea619cb9f23c45b17b9a0a8a16b7ca0e04093ef8ecce291667a99a4c.budget.golden b/...ole-payout/01dcc372ea619cb9f23c45b17b9a0a8a16b7ca0e04093ef8ecce291667a99a4c.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 236684811
-| mem: 830776})
+({cpu: 236615811
+| mem: 830476})
diff --git a/...ole-payout/0201020201020000020000010201020001020200000002010200000101010100.budget.golden b/...ole-payout/0201020201020000020000010201020001020200000002010200000101010100.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 266018940
-| mem: 936350})
+({cpu: 265811940
+| mem: 935450})
diff --git a/...ole-payout/0202010002010100020102020102020001010101020102010001010101000100.budget.golden b/...ole-payout/0202010002010100020102020102020001010101020102010001010101000100.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 245382894
-| mem: 859986})
+({cpu: 245175894
+| mem: 859086})
diff --git a/...ole-payout/0303020000020001010201060303040208070100050401080304020801030001.budget.golden b/...ole-payout/0303020000020001010201060303040208070100050401080304020801030001.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 243567317
-| mem: 853384})
+({cpu: 243360317
+| mem: 852484})
diff --git a/...ole-payout/031d56d71454e2c4216ffaa275c4a8b3eb631109559d0e56f44ea8489f57ba97.budget.golden b/...ole-payout/031d56d71454e2c4216ffaa275c4a8b3eb631109559d0e56f44ea8489f57ba97.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 308484242
-| mem: 1102062})
+({cpu: 308346242
+| mem: 1101462})
diff --git a/...ole-payout/03d730a62332c51c7b70c16c64da72dd1c3ea36c26b41cd1a1e00d39fda3d6cc.budget.golden b/...ole-payout/03d730a62332c51c7b70c16c64da72dd1c3ea36c26b41cd1a1e00d39fda3d6cc.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 286048512
-| mem: 1020658})
+({cpu: 285841512
+| mem: 1019758})
diff --git a/...ole-payout/0403020000030204010000030001000202010101000304030001040404030100.budget.golden b/...ole-payout/0403020000030204010000030001000202010101000304030001040404030100.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 262299371
-| mem: 928392})
+({cpu: 262161371
+| mem: 927792})
diff --git a/...ole-payout/0405010105020401010304080005050800040301010800080207080704020206.budget.golden b/...ole-payout/0405010105020401010304080005050800040301010800080207080704020206.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 293213547
-| mem: 1044112})
+({cpu: 293006547
+| mem: 1043212})
diff --git a/...ole-payout/041a2c3b111139201a3a2c173c392b170e16370d300f2d28342d0f2f0e182e01.budget.golden b/...ole-payout/041a2c3b111139201a3a2c173c392b170e16370d300f2d28342d0f2f0e182e01.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 296115875
-| mem: 1062456})
+({cpu: 295977875
+| mem: 1061856})
diff --git a/...ole-payout/04f592afc6e57c633b9c55246e7c82e87258f04e2fb910c37d8e2417e9db46e5.budget.golden b/...ole-payout/04f592afc6e57c633b9c55246e7c82e87258f04e2fb910c37d8e2417e9db46e5.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 354127925
-| mem: 1286116})
+({cpu: 353920925
+| mem: 1285216})
diff --git a/...ole-payout/057ebc80922f16a5f4bf13e985bf586b8cff37a2f6fe0f3ce842178c16981027.budget.golden b/...ole-payout/057ebc80922f16a5f4bf13e985bf586b8cff37a2f6fe0f3ce842178c16981027.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 242020016
-| mem: 850330})
+({cpu: 241882016
+| mem: 849730})
diff --git a/...ole-payout/06317060a8e488b1219c9dae427f9ce27918a9e09ee8ac424afa33ca923f7954.budget.golden b/...ole-payout/06317060a8e488b1219c9dae427f9ce27918a9e09ee8ac424afa33ca923f7954.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 261995754
-| mem: 923394})
+({cpu: 261857754
+| mem: 922794})
diff --git a/...ole-payout/07658a6c898ad6d624c37df1e49e909c2e9349ba7f4c0a6be5f166fe239bfcae.budget.golden b/...ole-payout/07658a6c898ad6d624c37df1e49e909c2e9349ba7f4c0a6be5f166fe239bfcae.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 231011581
-| mem: 798384})
+({cpu: 230804581
+| mem: 797484})
diff --git a/...ole-payout/0bdca1cb8fa7e38e09062557b82490714052e84e2054e913092cd84ac071b961.budget.golden b/...ole-payout/0bdca1cb8fa7e38e09062557b82490714052e84e2054e913092cd84ac071b961.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 295317489
-| mem: 1066496})
+({cpu: 295248489
+| mem: 1066196})
diff --git a/...ole-payout/0c9d3634aeae7038f839a1262d1a8bc724dc77af9426459417a56ec73240f0e0.budget.golden b/...ole-payout/0c9d3634aeae7038f839a1262d1a8bc724dc77af9426459417a56ec73240f0e0.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 256347721
-| mem: 907036})
+({cpu: 256278721
+| mem: 906736})
diff --git a/...ole-payout/0dbb692d2bf22d25eeceac461cfebf616f54003077a8473abc0457f18e025960.budget.golden b/...ole-payout/0dbb692d2bf22d25eeceac461cfebf616f54003077a8473abc0457f18e025960.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 302312189
-| mem: 1091068})
+({cpu: 302243189
+| mem: 1090768})
diff --git a/...ole-payout/0e00171d0f1e1f14070d0a00091f07101808021d081e1b120219081312081e15.budget.golden b/...ole-payout/0e00171d0f1e1f14070d0a00091f07101808021d081e1b120219081312081e15.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 248348289
-| mem: 878024})
+({cpu: 248279289
+| mem: 877724})
diff --git a/...ole-payout/0e72f62b0f922e31a2340baccc768104025400cf7fdd7dae62fbba5fc770936d.budget.golden b/...ole-payout/0e72f62b0f922e31a2340baccc768104025400cf7fdd7dae62fbba5fc770936d.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 277575578
-| mem: 985806})
+({cpu: 277437578
+| mem: 985206})
diff --git a/...ole-payout/0e97c9d9417354d9460f2eb35018d3904b7b035af16ab299258adab93be0911a.budget.golden b/...ole-payout/0e97c9d9417354d9460f2eb35018d3904b7b035af16ab299258adab93be0911a.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 272607771
-| mem: 966608})
+({cpu: 272400771
+| mem: 965708})
diff --git a/...ole-payout/0f010d040810040b10020e040f0e030b0a0d100f0c080c0c05000d04100c100f.budget.golden b/...ole-payout/0f010d040810040b10020e040f0e030b0a0d100f0c080c0c05000d04100c100f.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 289835982
-| mem: 1037158})
+({cpu: 289628982
+| mem: 1036258})
diff --git a/...ole-payout/1138a04a83edc0579053f9ffa9394b41df38230121fbecebee8c039776a88c0c.budget.golden b/...ole-payout/1138a04a83edc0579053f9ffa9394b41df38230121fbecebee8c039776a88c0c.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 244633793
-| mem: 852892})
+({cpu: 244426793
+| mem: 851992})
diff --git a/...ole-payout/121a0a1b12030616111f02121a0e070716090a0e031c071419121f141409031d.budget.golden b/...ole-payout/121a0a1b12030616111f02121a0e070716090a0e031c071419121f141409031d.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 240047813
-| mem: 840432})
+({cpu: 239909813
+| mem: 839832})
diff --git a/...ole-payout/159e5a1bf16fe984b5569be7011b61b5e98f5d2839ca7e1b34c7f2afc7ffb58e.budget.golden b/...ole-payout/159e5a1bf16fe984b5569be7011b61b5e98f5d2839ca7e1b34c7f2afc7ffb58e.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 245994383
-| mem: 861388})
+({cpu: 245787383
+| mem: 860488})
diff --git a/...ole-payout/195f522b596360690d04586a2563470f2214163435331a6622311f7323433f1c.budget.golden b/...ole-payout/195f522b596360690d04586a2563470f2214163435331a6622311f7323433f1c.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 240204315
-| mem: 843728})
+({cpu: 240066315
+| mem: 843128})
diff --git a/...ole-payout/1a20b465d48a585ffd622bd8dc26a498a3c12f930ab4feab3a5064cfb3bc536a.budget.golden b/...ole-payout/1a20b465d48a585ffd622bd8dc26a498a3c12f930ab4feab3a5064cfb3bc536a.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 270516505
-| mem: 954056})
+({cpu: 270309505
+| mem: 953156})
diff --git a/...ole-payout/211e1b6c10260c4620074d2e372c260d38643a3d605f63772524034f0a4a7632.budget.golden b/...ole-payout/211e1b6c10260c4620074d2e372c260d38643a3d605f63772524034f0a4a7632.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 257609171
-| mem: 906240})
+({cpu: 257402171
+| mem: 905340})
diff --git a/...ole-payout/21a1426fb3fb3019d5dc93f210152e90b0a6e740ef509b1cdd423395f010e0ca.budget.golden b/...ole-payout/21a1426fb3fb3019d5dc93f210152e90b0a6e740ef509b1cdd423395f010e0ca.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 274730914
-| mem: 978998})
+({cpu: 274592914
+| mem: 978398})
diff --git a/...ole-payout/224ce46046fab9a17be4197622825f45cc0c59a6bd1604405148e43768c487ef.budget.golden b/...ole-payout/224ce46046fab9a17be4197622825f45cc0c59a6bd1604405148e43768c487ef.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 244633793
-| mem: 852892})
+({cpu: 244426793
+| mem: 851992})
diff --git a/...ole-payout/332c2b1c11383d1b373e1315201f1128010e0e1518332f273f141b23243f2a07.budget.golden b/...ole-payout/332c2b1c11383d1b373e1315201f1128010e0e1518332f273f141b23243f2a07.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 236229824
-| mem: 832670})
+({cpu: 236160824
+| mem: 832370})
diff --git a/...ole-payout/3565ee025317e065e8555eef288080276716366769aad89e03389f5ec4ce26d7.budget.golden b/...ole-payout/3565ee025317e065e8555eef288080276716366769aad89e03389f5ec4ce26d7.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 262044449
-| mem: 925292})
+({cpu: 261906449
+| mem: 924692})
diff --git a/...ole-payout/3569299fc986f5354d02e627a9eaa48ab46d5af52722307a0af72bae87e256dc.budget.golden b/...ole-payout/3569299fc986f5354d02e627a9eaa48ab46d5af52722307a0af72bae87e256dc.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 242019892
-| mem: 850330})
+({cpu: 241881892
+| mem: 849730})
diff --git a/...ole-payout/36866914aa07cf62ef36cf2cd64c7f240e3371e27bb9fff5464301678e809c40.budget.golden b/...ole-payout/36866914aa07cf62ef36cf2cd64c7f240e3371e27bb9fff5464301678e809c40.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 242019892
-| mem: 850330})
+({cpu: 241881892
+| mem: 849730})
diff --git a/...ole-payout/371c10d2526fc0f09dbe9ed59e44dcd949270b27dc42035addd7ff9f7e0d05e7.budget.golden b/...ole-payout/371c10d2526fc0f09dbe9ed59e44dcd949270b27dc42035addd7ff9f7e0d05e7.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 298609670
-| mem: 1070426})
+({cpu: 298402670
+| mem: 1069526})
diff --git a/...ole-payout/3897ef714bba3e6821495b706c75f8d64264c3fdaa58a3826c808b5a768c303d.budget.golden b/...ole-payout/3897ef714bba3e6821495b706c75f8d64264c3fdaa58a3826c808b5a768c303d.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 252607972
-| mem: 891042})
+({cpu: 252469972
+| mem: 890442})
diff --git a/...ole-payout/4121d88f14387d33ac5e1329618068e3848445cdd66b29e5ba382be2e02a174a.budget.golden b/...ole-payout/4121d88f14387d33ac5e1329618068e3848445cdd66b29e5ba382be2e02a174a.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 298229103
-| mem: 1077220})
+({cpu: 298160103
+| mem: 1076920})
diff --git a/...ole-payout/4299c7fcf093a5dbfe114c188e32ca199b571a7c25cb7f766bf49f12dab308be.budget.golden b/...ole-payout/4299c7fcf093a5dbfe114c188e32ca199b571a7c25cb7f766bf49f12dab308be.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 272607771
-| mem: 966608})
+({cpu: 272400771
+| mem: 965708})
diff --git a/...ole-payout/452e17d16222a427707fa83f63ffb79f606cc25c755a18b1e3274c964ed5ec99.budget.golden b/...ole-payout/452e17d16222a427707fa83f63ffb79f606cc25c755a18b1e3274c964ed5ec99.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 303339197
-| mem: 1079068})
+({cpu: 303132197
+| mem: 1078168})