From c21f2802266b74140e97b7be3c9ea3b4d8fe6f79 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 29 Apr 2022 10:21:47 +0200
Subject: [PATCH] [kernel] Ast_diff: minor simplifications.
---
src/kernel_services/ast_queries/ast_diff.ml | 10 +++-------
1 file changed, 3 insertions(+), 7 deletions(-)
diff --git a/src/kernel_services/ast_queries/ast_diff.ml b/src/kernel_services/ast_queries/ast_diff.ml
index 51f028f4f52..585bebb4e22 100644
--- a/src/kernel_services/ast_queries/ast_diff.ml
+++ b/src/kernel_services/ast_queries/ast_diff.ml
@@ -465,9 +465,7 @@ let is_same_behavior_set l l' =
let are_same_cd_clauses l l' =
let module StringSetSet = Set.Make(Datatype.String.Set) in
let of_list l =
- List.fold_left
- (fun acc l -> StringSetSet.add (Datatype.String.Set.of_list l) acc)
- StringSetSet.empty l
+ StringSetSet.of_list (List.map Datatype.String.Set.of_list l)
in
StringSetSet.equal (of_list l) (of_list l')
@@ -722,10 +720,8 @@ and is_same_variant (v,m) (v',m') env =
and is_same_loop_pragma p p' env =
match p, p' with
- | Unroll_specs l, Unroll_specs l' ->
- is_same_list is_same_term l l' env
- | Widen_hints l, Widen_hints l' ->
- is_same_list is_same_term l l' env
+ | Unroll_specs l, Unroll_specs l'
+ | Widen_hints l, Widen_hints l'
| Widen_variables l, Widen_variables l' ->
is_same_list is_same_term l l' env
| (Unroll_specs _ | Widen_hints _ | Widen_variables _), _ -> false
--
GitLab