time command: Add note on laziness

GaloisInc · Aug 30, 2022 · 7fd1e4d · 7fd1e4d
1 parent d1a9971
commit 7fd1e4d
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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."