Profiling on-going

Author: zeme-wana

nix/shell.nix

@@ -13,6 +13,8 @@ let
     fourmolu = "0.17.0.0";
     hlint = "3.8";
     stylish-haskell = "latest";
+    # hp2ps = "latest";
+    # hp2pretty = "latest";
   };
 
   # Pre-commit hooks for the repo. Injects into shell via shellHook.

plutus-tx-plugin/plutus-tx-plugin.cabal

@@ -124,10 +124,10 @@ test-suite plutus-tx-plugin-tests
     AssocMap.Properties3
     AssocMap.Semantics
     AssocMap.Spec
-    Blueprint.Tests
-    Blueprint.Tests.Lib
-    Blueprint.Tests.Lib.AsData.Blueprint
-    Blueprint.Tests.Lib.AsData.Decls
+    -- Blueprint.Tests
+    -- Blueprint.Tests.Lib
+    -- Blueprint.Tests.Lib.AsData.Blueprint
+    -- Blueprint.Tests.Lib.AsData.Decls
     Budget.Spec
     Budget.WithGHCOptimisations
     Budget.WithoutGHCOptimisations
@@ -136,7 +136,7 @@ test-suite plutus-tx-plugin-tests
     ByteStringLiterals.Spec
     CallTrace.Lib
     CallTrace.OtherModule
-    CallTrace.Spec
+    -- CallTrace.Spec
     DataList.Budget.Spec
     Inline.Spec
     IntegerLiterals.NoStrict.NegativeLiterals.Spec
@@ -177,8 +177,8 @@ test-suite plutus-tx-plugin-tests
     ShortCircuit.WithoutGHCOptimisations
     StdLib.Spec
     Strictness.Spec
-    TH.Spec
-    TH.TestTH
+    -- TH.Spec
+    -- TH.TestTH
     Unicode.Spec
 
   build-depends:

plutus-tx-plugin/src/PlutusTx/Plugin.hs

@@ -9,6 +9,7 @@
 {-# LANGUAGE ViewPatterns          #-}
 -- For some reason this module is very slow to compile otherwise
 {-# OPTIONS_GHC -O0 #-}
+{-# OPTIONS_GHC -fno-full-laziness -fno-cse #-}
 
 module PlutusTx.Plugin (plugin, plc) where
 

plutus-tx-plugin/test/Spec.hs

@@ -3,11 +3,11 @@ module Main (main) where
 import Array.Spec qualified as Array
 import AsData.Budget.Spec qualified as AsData.Budget
 import AssocMap.Spec qualified as AssocMap
-import Blueprint.Tests qualified
+-- import Blueprint.Tests qualified
 import Budget.Spec qualified as Budget
 import BuiltinList.Budget.Spec qualified as BuiltinList.Budget
 import ByteStringLiterals.Spec qualified as ByteStringLiterals
-import CallTrace.Spec qualified as CallTrace
+-- import CallTrace.Spec qualified as CallTrace
 import DataList.Budget.Spec qualified as DataList.Budget
 import Inline.Spec qualified as Inline
 import IntegerLiterals.NoStrict.NegativeLiterals.Spec qualified
@@ -23,7 +23,7 @@ import Recursion.Spec qualified as Recursion
 import ShortCircuit.Spec qualified as ShortCircuit
 import StdLib.Spec qualified as Lib
 import Strictness.Spec qualified as Strictness
-import TH.Spec qualified as TH
+-- import TH.Spec qualified as TH
 import Unicode.Spec qualified as Unicode
 
 import Test.Tasty (TestTree, defaultMain)
@@ -44,7 +44,7 @@ tests =
     , embed ByteStringLiterals.tests
     , IsData.tests
     , Lift.tests
-    , TH.tests
+    -- , TH.tests
     , Lib.tests
     , Budget.tests
     , AsData.Budget.tests
@@ -54,12 +54,12 @@ tests =
     , Recursion.tests
     , Optimization.tests
     , Strictness.tests
-    , Blueprint.Tests.tests
+    -- , Blueprint.Tests.tests
     , AssocMap.goldenTests
     , embed ShortCircuit.tests
     , embed Unicode.tests
     , embed AssocMap.propertyTests
     , embed List.propertyTests
     , Array.smokeTests
-    , CallTrace.tests
+    -- , CallTrace.tests
     ]