diff options
| author | hhugo <hugo.heuzard@gmail.com> | 2020-08-17 10:47:36 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-17 09:47:36 +0100 |
| commit | 49aa87c316c441aa47974e8e9191a5a7e6d03d9a (patch) | |
| tree | 2a3de43b2f746ab168b9f0a3d4fec5e5084a4b4f /debugger/time_travel.ml | |
| parent | d9a3ad413f9567c418cf7809a110fac5fcd36f6c (diff) | |
| download | ocaml-49aa87c316c441aa47974e8e9191a5a7e6d03d9a.tar.gz | |
Introduce warning 68 to warn about hidden allocation due to pattern match of mutable field in curried functions (#9751)
Introduce new warning 68
Diffstat (limited to 'debugger/time_travel.ml')
| -rw-r--r-- | debugger/time_travel.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debugger/time_travel.ml b/debugger/time_travel.ml index 4d3252fb19..83cf23f40e 100644 --- a/debugger/time_travel.ml +++ b/debugger/time_travel.ml @@ -181,7 +181,7 @@ let new_checkpoint_list checkpoint_count accepted rejected = let (k, l) = list_truncate2 (checkpoint_count - List.length accepted) rejected in - (List.merge (fun {c_time = t1} {c_time = t2} -> compare t2 t1) accepted k, + (List.merge (fun t1 t2 -> compare t2.c_time t1.c_time) accepted k, l) (* Clean the checkpoint list. *) |