- let
- read_mut = read mut
- read_gc = read gc
- read_gc_work = read gc_work
- time = (read init + read_mut + read_gc) :: Float
- in
- [(prog,emptyResults{run_time = Just time,
- mut_time = Just read_mut,
- gc_work = Just read_gc_work,
- gc_time = Just read_gc,
- instrs = Just (read is),
- mem_reads = Just (read mem_rs),
- mem_writes = Just (read mem_ws),
- cache_misses = Just (read cache_misses),
- allocs = Just (read allocs),
- run_status = Success })];
+ got_run_result allocs init mut gc (Just (read gc_work))
+ (Just (read is)) (Just (read mem_rs))
+ (Just (read mem_ws)) (Just (read cache_misses));
+