summaryrefslogtreecommitdiff
path: root/tests/lean
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--tests/lean/Hashmap/Funs.lean2
-rw-r--r--tests/lean/HashmapMain/Funs.lean2
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