File 5961-Update-dialyzer-property-tests-to-provide-... of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 5961-Update-dialyzer-property-tests-to-provide-correct-lo.patch of Package erlang (Revision 05e07e74e02c3c6851eb7fb2c2e0ef8b)

Currently displaying revision 05e07e74e02c3c6851eb7fb2c2e0ef8b , Show latest

From 272d385d251d8f4455c0a94d1b5962f04427c866 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Gustavsson?= <bjorn@erlang.org>
Date: Thu, 10 Mar 2022 07:33:05 +0100
Subject: [PATCH] Update dialyzer property tests to provide correct location
 information

Feeding bad location information happened to work because `erl_types`
didn't use it. These tests will start to fail as soon as the bug
fix for GH-5764 is merged.
---
 lib/dialyzer/test/property_test/erl_types_prop.erl | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/lib/dialyzer/test/property_test/erl_types_prop.erl b/lib/dialyzer/test/property_test/erl_types_prop.erl
index 492b33b545..052044a1e7 100644
--- a/lib/dialyzer/test/property_test/erl_types_prop.erl
+++ b/lib/dialyzer/test/property_test/erl_types_prop.erl
@@ -207,8 +207,9 @@ abstr() ->
 
 form_to_type(Form) ->
     Types = [SiteType | _] = types(),
+    Anno = erl_anno:new(0),
     TableTypes = [{{type, Type, 0},
-                   {{m, "file", {type, 0, any, []}, []}, any}} ||
+                   {{m, {"file", Anno}, {type, 0, any, []}, []}, any}} ||
                      Type <- Types],
     TypeTable = maps:from_list(TableTypes),
     CodeTable = ets:new(table, [set]),
-- 
2.34.1

Places

File 5961-Update-dialyzer-property-tests-to-provide-correct-lo.patch of Package erlang (Revision 05e07e74e02c3c6851eb7fb2c2e0ef8b)

Places