From 01b061f0082a70f66016e78075a5952af8ed5431 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Tue, 23 Mar 2021 10:20:10 +0100
Subject: Do not match on record types with mutable fields in function
 arguments.

This tends to confuse the OCaml compiler, for good reasons. Indeed, if
there are mutable fields, the generated code cannot wait for the function
to be fully applied. It needs to recover the value of the mutable fields
as early as possible, and thus to create a closure.

Example:

    let foo {bar} x = ...

is compiled as

    let foo y = match y with {bar} -> fun x -> ...
---
 lib/cProfile.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib')

diff --git a/lib/cProfile.ml b/lib/cProfile.ml
index a4f2da7080..b68d35d2d4 100644
--- a/lib/cProfile.ml
+++ b/lib/cProfile.ml
@@ -285,7 +285,7 @@ let format_profile (table, outside, total) =
   Printf.printf
     "%-23s  %9s %9s %10s %10s %10s\n"
     "Function name" "Own time" "Tot. time" "Own alloc" "Tot. alloc" "Calls ";
-  let l = List.sort (fun (_,{tottime=p}) (_,{tottime=p'}) -> p' - p) table in
+  let l = List.sort (fun p p' -> (snd p').tottime - (snd p).tottime) table in
   List.iter (fun (name,e) ->
     Printf.printf
       "%-23s %9.2f %9.2f %10.0f %10.0f %6d %6d\n"
-- 
cgit v1.2.3