From 7fd1e4dd9a3e3d778d2fe8e5dc54a4e582f94138 Mon Sep 17 00:00:00 2001 From: Bretton Date: Tue, 30 Aug 2022 16:34:46 -0700 Subject: [PATCH] time command: Add note on laziness --- src/Cryptol/REPL/Command.hs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/Cryptol/REPL/Command.hs b/src/Cryptol/REPL/Command.hs index 849c7068b..a988d92ab 100644 --- a/src/Cryptol/REPL/Command.hs +++ b/src/Cryptol/REPL/Command.hs @@ -258,6 +258,10 @@ nbCommandList = "Measure the time it takes to evaluate the given expression." (unlines [ "The expression will be evaluated many times to get accurate results." + , "Note that the first evaluation of a binding may take longer due to" + , " laziness, and this may affect the reported time. If this is not" + , " desired then make sure to evaluate the expression once first before" + , " running :time." , "The amount of time to spend collecting measurements can be changed" , " with the timeMeasurementPeriod option." , "Reports the average wall clock time, CPU time, and cycles."