diff options
| author | Aymeric Fromherz | 2024-05-31 14:25:23 +0200 |
|---|---|---|
| committer | Aymeric Fromherz | 2024-05-31 14:25:23 +0200 |
| commit | 2e3d1cdfde3e19af97e0d0fa47f92cfd66c688d9 (patch) | |
| tree | abd2aa08f32c9793ea6f32c4f8e16bee7e7a796d /tests/lean | |
| parent | 2257d023478cd2fe44a0ff4d67c1c5b7e3b59061 (diff) | |
Regenerate tests
Diffstat (limited to 'tests/lean')
| -rw-r--r-- | tests/lean/Hashmap/Funs.lean | 2 | ||||
| -rw-r--r-- | tests/lean/HashmapMain/Funs.lean | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/tests/lean/Hashmap/Funs.lean b/tests/lean/Hashmap/Funs.lean index 17ad26f7..cb11e5cf 100644 --- a/tests/lean/Hashmap/Funs.lean +++ b/tests/lean/Hashmap/Funs.lean @@ -157,7 +157,7 @@ def HashMap.move_elements_from_list divergent def HashMap.move_elements_loop (T : Type) (ntable : HashMap T) (slots : alloc.vec.Vec (List T)) (i : Usize) : - Result ((alloc.vec.Vec (List T)) × (HashMap T)) + Result ((HashMap T) × (alloc.vec.Vec (List T))) := let i1 := alloc.vec.Vec.len (List T) slots if i < i1 diff --git a/tests/lean/HashmapMain/Funs.lean b/tests/lean/HashmapMain/Funs.lean index 56039741..e27305b1 100644 --- a/tests/lean/HashmapMain/Funs.lean +++ b/tests/lean/HashmapMain/Funs.lean @@ -167,7 +167,7 @@ def hashmap.HashMap.move_elements_from_list divergent def hashmap.HashMap.move_elements_loop (T : Type) (ntable : hashmap.HashMap T) (slots : alloc.vec.Vec (hashmap.List T)) (i : Usize) : - Result ((alloc.vec.Vec (hashmap.List T)) × (hashmap.HashMap T)) + Result ((hashmap.HashMap T) × (alloc.vec.Vec (hashmap.List T))) := let i1 := alloc.vec.Vec.len (hashmap.List T) slots if i < i1 |