wip

Author: zeme-wana

.gitignore

@@ -48,6 +48,7 @@ stack.yaml.lock
 *.dyn_hi
 *.chi
 *.chs.h
+*.prof
 .liquid/
 
 # Agda

cabal.project

@@ -27,8 +27,8 @@ packages: cardano-constitution
           plutus-metatheory
           plutus-tx
           plutus-tx-plugin
-          plutus-profiled-plugin-test
           doc/docusaurus/docusaurus-examples.cabal
+          --plutus-profiled-plugin-test
 
 -- We never, ever, want this.
 write-ghc-environment-files: never

nix/outputs.nix

@@ -107,6 +107,7 @@ let
     ghc912 = mkShell "ghc912";
     ghc96-profiled = mkShell "ghc96-profiled";
     ghc96-plugin = mkShell "ghc96-plugin";
+    ghc96-plugin2 = mkShell "ghc96-plugin2";
     metatheory-jailbreak = metatheory-jailbreak-shell;
   };
 
@@ -122,6 +123,7 @@ let
       { devShells.ghc96 = devShells.ghc96; } //
       { devShells.ghc912 = devShells.ghc912; } //
       { devShells.ghc96-plugin = devShells.ghc96-plugin; } //
+      { devShells.ghc96-plugin2 = devShells.ghc96-plugin2; } //
       { devShells.metatheory-jailbreak = metatheory-jailbreak-shell; } //
       { inherit test-profiled-ghc; } //
       { required = hydra-required-job; };
@@ -131,6 +133,7 @@ let
       { devShells.ghc96 = devShells.ghc96; } //
       { devShells.ghc912 = devShells.ghc912; } //
       { devShells.ghc96-plugin = devShells.ghc96-plugin; } //
+      { devShells.ghc96-plugin2 = devShells.ghc96-plugin2; } //
       { devShells.metatheory-jailbreak = metatheory-jailbreak-shell; } //
       { inherit test-profiled-ghc; } //
       { required = hydra-required-job; };

nix/project.nix

@@ -22,7 +22,7 @@ let
         }];
         ghc96-plugin = {
           ghcOverride = pkgs.haskell-nix.compiler.ghc967.override {
-            extraFlavourTransformers = [ "perf+profiled_ghc+debug_info+no_dynamic_ghc" ];
+            extraFlavourTransformers = [ "+profiled_ghc+no_dynamic_ghc" ];
             ghc-patches = [ ./profiled-ghc-964.patch ];
           };
           modules = [{

plutus-profiled-plugin-test/help.sh

@@ -13,3 +13,14 @@ library
     , ghc
 
   default-language: Haskell2010
+
+executable simple-plugin-test
+  main-is:          SimpleMain.hs
+  ghc-options:       -main-is SimpleMain
+  hs-source-dirs:   src
+  build-depends:
+    , base                         >=4.9 && <5
+    , plutus-profiled-plugin-test
+    , ghc
+
+  default-language: Haskell2010

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

@@ -0,0 +1,6 @@
+{-# OPTIONS -fplugin LuitePlugin -fplugin-opt LuitePlugin:test #-}
+
+module LuiteMain where
+
+main :: IO ()
+main = putStrLn "Hello, Haskell!"

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

@@ -0,0 +1,18 @@
+module LuitePlugin (plugin) where
+
+import GHC.Plugins
+
+plugin :: Plugin
+plugin = defaultPlugin {
+  installCoreToDos = install
+  }
+
+install :: [CommandLineOption] -> [CoreToDo] -> CoreM [CoreToDo]
+install _ todo = {-# SCC plugin_install #-} do
+  putMsgS ("Hello! " ++ show (fib 40))
+  return todo
+
+fib :: Integer -> Integer
+fib 0 = 0
+fib 1 = 1
+fib n = fib (n-2) + fib (n-1)

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

@@ -0,0 +1,6 @@
+{-# OPTIONS -fplugin SimplePlugin -fplugin-opt SimplePlugin:test #-}
+
+module SimpleMain where
+
+main :: IO ()
+main = putStrLn "Hello, Haskell!"

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

@@ -12,8 +12,9 @@ plugin =
               liftIO $ threadDelay 1000000
               return True
 
+
         b <-
-          {-# SCC "XXXXxXXXXXXXXXX" #-}
+          {-# SCC "WOWREALLY?" #-}
           getBool
         putMsgS ("I got a bool from the plugin -> " ++ show b)
         pure todos