From ca77353c20e425c687ba207023d56828de6495b6 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 7 Mar 2023 23:50:36 +0100
Subject: Start updating simplify_aggregates

---
 tests/lean/hashmap_on_disk/HashmapMain/Funs.lean | 22 ++++++++++++++--------
 1 file changed, 14 insertions(+), 8 deletions(-)

(limited to 'tests/lean/hashmap_on_disk/HashmapMain')

diff --git a/tests/lean/hashmap_on_disk/HashmapMain/Funs.lean b/tests/lean/hashmap_on_disk/HashmapMain/Funs.lean
index 392c8816..2d3904bb 100644
--- a/tests/lean/hashmap_on_disk/HashmapMain/Funs.lean
+++ b/tests/lean/hashmap_on_disk/HashmapMain/Funs.lean
@@ -49,8 +49,8 @@ def hashmap_hash_map_new_with_capacity_fwd
     Result.ret
       {
         hashmap_hash_map_num_entries := (USize.ofNatCore 0 (by intlit)),
-        hashmap_hash_map_max_load_factor := (max_load_dividend,
-                                              max_load_divisor),
+        hashmap_hash_map_max_load_factor :=
+          (max_load_dividend, max_load_divisor),
         hashmap_hash_map_max_load := i0,
         hashmap_hash_map_slots := slots
       }
@@ -96,7 +96,8 @@ def hashmap_hash_map_clear_fwd_back
     Result.ret
       {
         hashmap_hash_map_num_entries := (USize.ofNatCore 0 (by intlit)),
-        hashmap_hash_map_max_load_factor := self.hashmap_hash_map_max_load_factor,
+        hashmap_hash_map_max_load_factor :=
+          self.hashmap_hash_map_max_load_factor,
         hashmap_hash_map_max_load := self.hashmap_hash_map_max_load,
         hashmap_hash_map_slots := v
       }
@@ -177,7 +178,8 @@ def hashmap_hash_map_insert_no_resize_fwd_back
         Result.ret
           {
             hashmap_hash_map_num_entries := i0,
-            hashmap_hash_map_max_load_factor := self.hashmap_hash_map_max_load_factor,
+            hashmap_hash_map_max_load_factor :=
+              self.hashmap_hash_map_max_load_factor,
             hashmap_hash_map_max_load := self.hashmap_hash_map_max_load,
             hashmap_hash_map_slots := v
           }
@@ -190,7 +192,8 @@ def hashmap_hash_map_insert_no_resize_fwd_back
         Result.ret
           {
             hashmap_hash_map_num_entries := self.hashmap_hash_map_num_entries,
-            hashmap_hash_map_max_load_factor := self.hashmap_hash_map_max_load_factor,
+            hashmap_hash_map_max_load_factor :=
+              self.hashmap_hash_map_max_load_factor,
             hashmap_hash_map_max_load := self.hashmap_hash_map_max_load,
             hashmap_hash_map_slots := v
           }
@@ -431,7 +434,8 @@ def hashmap_hash_map_get_mut_back
     Result.ret
       {
         hashmap_hash_map_num_entries := self.hashmap_hash_map_num_entries,
-        hashmap_hash_map_max_load_factor := self.hashmap_hash_map_max_load_factor,
+        hashmap_hash_map_max_load_factor :=
+          self.hashmap_hash_map_max_load_factor,
         hashmap_hash_map_max_load := self.hashmap_hash_map_max_load,
         hashmap_hash_map_slots := v
       }
@@ -532,7 +536,8 @@ def hashmap_hash_map_remove_back
         Result.ret
           {
             hashmap_hash_map_num_entries := self.hashmap_hash_map_num_entries,
-            hashmap_hash_map_max_load_factor := self.hashmap_hash_map_max_load_factor,
+            hashmap_hash_map_max_load_factor :=
+              self.hashmap_hash_map_max_load_factor,
             hashmap_hash_map_max_load := self.hashmap_hash_map_max_load,
             hashmap_hash_map_slots := v
           }
@@ -547,7 +552,8 @@ def hashmap_hash_map_remove_back
         Result.ret
           {
             hashmap_hash_map_num_entries := i0,
-            hashmap_hash_map_max_load_factor := self.hashmap_hash_map_max_load_factor,
+            hashmap_hash_map_max_load_factor :=
+              self.hashmap_hash_map_max_load_factor,
             hashmap_hash_map_max_load := self.hashmap_hash_map_max_load,
             hashmap_hash_map_slots := v
           }
-- 
cgit v1.2.3