import "Prelude"
import "JavaBuiltin" as Java
+import "Logging" as LOGGER
+
importJava "java.lang.System" where
nanoTime :: () -> <Proc> Long
result = f
endTime = nanoTime ()
time = Java.l2d (endTime-beginTime) * 1e-9
- print "time \(time) s"
+ LOGGER.info "time \(time) s"
result
reportTimeM :: String -> (<e> a) -> <e> a
result = f
endTime = nanoTime ()
time = Java.l2d (endTime-beginTime) * 1e-9
- print "\(task): \(time) s"
- result
+ LOGGER.info "\(task): \(time) s"
+ result
"""
Prints the given text and returns