Improve the pretty names generation for loops

1 files changed, 10 insertions, 10 deletions

diff --git a/tests/fstar/misc/Loops.Funs.fst b/tests/fstar/misc/Loops.Funs.fst
index 73539cf6..3e8425dd 100644
--- a/tests/fstar/misc/Loops.Funs.fst
+++ b/tests/fstar/misc/Loops.Funs.fst
@@ -140,7 +140,7 @@ let rec list_nth_mut_loop_loop_back
       | Return i0 ->
         begin match list_nth_mut_loop_loop_back t tl i0 ret with
         | Fail e -> Fail e
-        | Return l -> Return (ListCons x l)
+        | Return tl0 -> Return (ListCons x tl0)
         end
       end
   | ListNil -> Fail Failure
@@ -201,7 +201,7 @@ let rec get_elem_mut_loop_back
     else
       begin match get_elem_mut_loop_back x tl ret with
       | Fail e -> Fail e
-      | Return l -> Return (ListCons y l)
+      | Return tl0 -> Return (ListCons y tl0)
       end
   | ListNil -> Fail Failure
   end
@@ -290,7 +290,7 @@ let rec list_nth_mut_loop_with_id_loop_back
       | Return i0 ->
         begin match list_nth_mut_loop_with_id_loop_back t i0 tl ret with
         | Fail e -> Fail e
-        | Return l -> Return (ListCons x l)
+        | Return tl0 -> Return (ListCons x tl0)
         end
       end
   | ListNil -> Fail Failure
@@ -379,7 +379,7 @@ let rec list_nth_mut_loop_pair_loop_back'a
         | Return i0 ->
           begin match list_nth_mut_loop_pair_loop_back'a t tl0 tl1 i0 ret with
           | Fail e -> Fail e
-          | Return l -> Return (ListCons x0 l)
+          | Return tl00 -> Return (ListCons x0 tl00)
           end
         end
     | ListNil -> Fail Failure
@@ -412,7 +412,7 @@ let rec list_nth_mut_loop_pair_loop_back'b
         | Return i0 ->
           begin match list_nth_mut_loop_pair_loop_back'b t tl0 tl1 i0 ret with
           | Fail e -> Fail e
-          | Return l -> Return (ListCons x1 l)
+          | Return tl10 -> Return (ListCons x1 tl10)
           end
         end
     | ListNil -> Fail Failure
@@ -500,7 +500,7 @@ let rec list_nth_mut_loop_pair_merge_loop_back
           begin match list_nth_mut_loop_pair_merge_loop_back t tl0 tl1 i0 ret
             with
           | Fail e -> Fail e
-          | Return (l, l0) -> Return (ListCons x0 l, ListCons x1 l0)
+          | Return (tl00, tl10) -> Return (ListCons x0 tl00, ListCons x1 tl10)
           end
         end
     | ListNil -> Fail Failure
@@ -588,7 +588,7 @@ let rec list_nth_mut_shared_loop_pair_loop_back
           begin match list_nth_mut_shared_loop_pair_loop_back t tl0 tl1 i0 ret
             with
           | Fail e -> Fail e
-          | Return l -> Return (ListCons x0 l)
+          | Return tl00 -> Return (ListCons x0 tl00)
           end
         end
     | ListNil -> Fail Failure
@@ -650,7 +650,7 @@ let rec list_nth_mut_shared_loop_pair_merge_loop_back
           begin match
             list_nth_mut_shared_loop_pair_merge_loop_back t tl0 tl1 i0 ret with
           | Fail e -> Fail e
-          | Return l -> Return (ListCons x0 l)
+          | Return tl00 -> Return (ListCons x0 tl00)
           end
         end
     | ListNil -> Fail Failure
@@ -711,7 +711,7 @@ let rec list_nth_shared_mut_loop_pair_loop_back
           begin match list_nth_shared_mut_loop_pair_loop_back t tl0 tl1 i0 ret
             with
           | Fail e -> Fail e
-          | Return l -> Return (ListCons x1 l)
+          | Return tl10 -> Return (ListCons x1 tl10)
           end
         end
     | ListNil -> Fail Failure
@@ -773,7 +773,7 @@ let rec list_nth_shared_mut_loop_pair_merge_loop_back
           begin match
             list_nth_shared_mut_loop_pair_merge_loop_back t tl0 tl1 i0 ret with
           | Fail e -> Fail e
-          | Return l -> Return (ListCons x1 l)
+          | Return tl10 -> Return (ListCons x1 tl10)
           end
         end
     | ListNil -> Fail Failure