From 097be04d674ca62695b0b845b4016db9c4d20992 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Mon, 10 Jul 2023 16:20:23 +0200
Subject: [PATCH] [Eva] Fixes the json conversion of callstacks in values
requests.
---
src/plugins/eva/api/values_request.ml | 9 +++++----
1 file changed, 5 insertions(+), 4 deletions(-)
diff --git a/src/plugins/eva/api/values_request.ml b/src/plugins/eva/api/values_request.ml
index a88453bcc12..ff1f71989be 100644
--- a/src/plugins/eva/api/values_request.ml
+++ b/src/plugins/eva/api/values_request.ml
@@ -234,7 +234,7 @@ module Jcalls : Request.Output with type t = callstack = struct
"rank" , Joption Jnumber ;
]))
- let jcallsite jcaller jcallee stmt =
+ let jcallsite ~jcaller ~jcallee stmt =
`Assoc [
"callee", jcallee ;
"caller", jcaller ;
@@ -245,14 +245,15 @@ module Jcalls : Request.Output with type t = callstack = struct
let to_json (cs : t) =
let aux (acc, jcaller) (callee, stmt) =
let jcallee = Jfct.to_json callee in
- jcallsite jcaller jcallee stmt :: acc, jcallee
+ jcallsite ~jcaller ~jcallee stmt :: acc, jcallee
in
let entry_point = Jfct.to_json cs.entry_point in
let l, _last_callee = List.fold_left aux
([`Assoc [ "callee", entry_point ]], entry_point)
- cs.stack
+ (List.rev cs.stack)
in
- `List (List.rev l)
+ `List l
+
end
module Jtruth : Data.S with type t = truth = struct
--
GitLab