Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
home:Ledest:erlang:24
erlang
5961-Update-dialyzer-property-tests-to-provide-...
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File 5961-Update-dialyzer-property-tests-to-provide-correct-lo.patch of Package erlang
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
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor