From: Hannu Niemistö <hannu.niemisto@semantum.fi>
Date: Tue, 7 Nov 2017 14:26:10 +0000 (+0200)
Subject: Merge "(refs #7606) Timing with task name (Debug module)"
X-Git-Tag: v1.31.0~51
X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=commitdiff_plain;h=a3b8f34329bc99cbef9fc995ae9875376b2aa825;hp=b1b3095aa451fb2c215afb717caf8628032f501a

Merge "(refs #7606) Timing with task name (Debug module)"
---

diff --git a/bundles/org.simantics.scl.runtime/scl/Debug.scl b/bundles/org.simantics.scl.runtime/scl/Debug.scl
index 858f87c80..ba0c7baa9 100644
--- a/bundles/org.simantics.scl.runtime/scl/Debug.scl
+++ b/bundles/org.simantics.scl.runtime/scl/Debug.scl
@@ -23,6 +23,15 @@ reportTime f = runProc do
     time = Java.l2d (endTime-beginTime) * 1e-9
     print "time \(time) s"
     result
+    
+reportTimeM :: String -> (<e> a) -> <e> a
+reportTimeM task f = runProc do
+    beginTime = nanoTime ()
+    result = f
+    endTime = nanoTime ()
+    time = Java.l2d (endTime-beginTime) * 1e-9
+    print "\(task): \(time) s"
+    result    
 
 """
 Prints the given text and returns