File 0177-Rename-map-0-in-uri_string_recompose-prope... of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 0177-Rename-map-0-in-uri_string_recompose-property-test.patch of Package erlang

From 4f9dcc185f8f0ac3aa2e4ee39917d9d91eeebe91 Mon Sep 17 00:00:00 2001
From: Maria Scott <maria-12648430@hnc-agency.org>
Date: Thu, 16 Mar 2023 17:11:34 +0100
Subject: [PATCH] Rename map/0 in uri_string_recompose property test

The module defines a function map/0. A function with the same name and
arity has been added to proper as a generator, in its current master.
---
 lib/stdlib/test/property_test/uri_string_recompose.erl | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/lib/stdlib/test/property_test/uri_string_recompose.erl b/lib/stdlib/test/property_test/uri_string_recompose.erl
index 1720ea78d3..721f714c0f 100644
--- a/lib/stdlib/test/property_test/uri_string_recompose.erl
+++ b/lib/stdlib/test/property_test/uri_string_recompose.erl
@@ -84,7 +84,7 @@ prop_recompose() ->
            Map =:= uri_string:parse(uri_string:recompose(Map))).
 
 prop_normalize() ->
-    ?FORALL(Map, map(),
+    ?FORALL(Map, property_map(),
             uri_string:percent_decode(
               uri_string:normalize(Map, [return_map])) =:=
                 uri_string:percent_decode(
@@ -94,11 +94,11 @@ prop_normalize() ->
 
 %% Stats
 prop_map_key_length_collect() ->
-    ?FORALL(List, map(),
+    ?FORALL(List, property_map(),
             collect(length(maps:keys(List)), true)).
 
 prop_map_collect() ->
-    ?FORALL(List, map(),
+    ?FORALL(List, property_map(),
             collect(lists:sort(maps:keys(List)), true)).
 
 prop_scheme_collect() ->
@@ -110,7 +110,7 @@ prop_scheme_collect() ->
 %%% Generators
 %%%========================================================================
 
-map() ->
+property_map() ->
     ?LET(Gen, comp_proplist(), proplist_to_map(Gen)).
 
 map_no_unicode() ->
-- 
2.35.3

Places

File 0177-Rename-map-0-in-uri_string_recompose-property-test.patch of Package erlang

Places