Explain plugin: evaluate matches eagerly

They don't display well. Incidentally that seems to work around issue #721 on
our example.
This commit is contained in:
Louis Gesbert 2024-10-14 17:43:18 +02:00
parent 6373df08a9
commit 0f87f0ec8f

View File

@ -739,7 +739,7 @@ let program_to_graph
value_level with
eval_struct = false;
eval_op = false;
eval_match = false;
eval_match = true;
eval_vars = (fun v -> false);
}
in