wip

Author: zeme-wana

cabal.project

@@ -27,6 +27,7 @@ packages: cardano-constitution
           plutus-metatheory
           plutus-tx
           plutus-tx-plugin
+          plutus-profiled-plugin-test
           doc/docusaurus/docusaurus-examples.cabal
 
 -- We never, ever, want this.

nix/shell.nix

@@ -159,6 +159,9 @@ let
   quick-shell = project.projectVariants.${ghc}.shellFor {
     name = "plutus-shell-${ghc}";
     tools = { cabal = "latest"; };
+    buildInputs = [
+      pkgs.git
+    ];
     withHoogle = false;
     shellHook = ''
       ${locale-archive-hook}

plutus-profiled-plugin-test/app/Main.hs

@@ -0,0 +1,15 @@
+{-# OPTIONS_GHC -fplugin=SimplePlugin #-}
+
+module Main where
+
+import Control.Concurrent
+
+main :: IO ()
+main = do
+  let getBool = do
+        threadDelay 1000000
+        return False
+  b <-
+    {-# SCC "YYYYYYYYYYYYYY" #-}
+    getBool
+  putStrLn ("I got a bool from the main module -> " ++ show b)

plutus-profiled-plugin-test/plutus-profiled-plugin-test.cabal

@@ -0,0 +1,25 @@
+cabal-version: 3.0
+name:          plutus-profiled-plugin-test
+version:       0.1.0.0
+build-type:    Simple
+synopsis:      Minimal GHC plugin and test executable
+category:      Development
+
+library
+  hs-source-dirs:   src
+  exposed-modules:  SimplePlugin
+  build-depends:
+    , base  >=4.9 && <5
+    , ghc
+
+  default-language: Haskell2010
+
+executable simple-plugin-test
+  main-is:          Main.hs
+  hs-source-dirs:   app
+  ghc-options:      -threaded -rtsopts -with-rtsopts=-N
+  build-depends:
+    , base                         >=4.9 && <5
+    , plutus-profiled-plugin-test
+
+  default-language: Haskell2010

plutus-profiled-plugin-test/src/SimplePlugin.hs

@@ -0,0 +1,20 @@
+module SimplePlugin (plugin) where
+
+import Control.Concurrent
+import GHC.Plugins
+
+-- | A very simple GHC plugin that just logs a message during compilation.
+plugin :: Plugin
+plugin =
+  defaultPlugin
+    { installCoreToDos = \_ todos -> do
+        let getBool = do
+              liftIO $ threadDelay 1000000
+              return True
+        b <-
+          {-# SCC "XXXXXXXXXXXXXX" #-}
+          getBool
+        putMsgS ("I got a bool from the plugin -> " ++ show b)
+        pure todos
+    , pluginRecompile = purePlugin
+    }