Commit 48ef631f authored by John van Groningen's avatar John van Groningen

add reading profiles for 64 bit windows

parent e6942e52
......@@ -315,7 +315,18 @@ where
= error file
# (ok,time_lo,file)=freadi file
| not ok
= error file
# time_lo=time_hi
# time_hi=0
# time = compute_time_function (time_hi,time_lo,n_profiler_calls)
= (True,
{ module_name = module_name
, function_name = function_name
, n_strict_calls = n_strict_calls
, n_lazy_calls = n_lazy_calls
, n_curried_calls = n_curried_calls
, n_allocated_words = n_allocated_words
, time = time
},file)
# (ok,c,file) = freadc file
| not ok || c<>'\n'
= error file
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment