Add a separate emitter with time stamp for profiling.

IntersectMBO · Jul 20, 2021 · aabf207 · aabf207
1 parent c88ecef
commit aabf207
Showing 1 changed file with 11 additions and 1 deletion.
diff --git a/plutus-core/untyped-plutus-core/src/UntypedPlutusCore/Evaluation/Machine/Cek/Internal.hs b/plutus-core/untyped-plutus-core/src/UntypedPlutusCore/Evaluation/Machine/Cek/Internal.hs
@@ -474,7 +474,17 @@ spendBudgetCek = let (CekBudgetSpender spend) = ?cekBudgetSpender in spend
 emitCek :: GivenCekEmitter s => String -> CekM uni fun s ()
 emitCek str =
     let mayLogsRef = ?cekEmitter
-        withTime = str ++ (show $ unsafePerformIO getCurrentTime)
+    in case mayLogsRef of
+        Nothing      -> pure ()
+        Just logsRef -> CekCarryingM $ modifySTRef logsRef (`DList.snoc` str)
+
+emitCekWithTime :: GivenCekEmitter s => String -> CekM uni fun s ()
+emitCekWithTime str =
+    let mayLogsRef = ?cekEmitter
+        withTime =
+            "[" ++
+            (show $ unsafePerformIO getCurrentTime) ++
+            "]" ++ str
     in case mayLogsRef of
         Nothing      -> pure ()
         Just logsRef ->