File 0119-compiler-tests-Use-proper_erlang_abstract_... of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 0119-compiler-tests-Use-proper_erlang_abstract_code-if-av.patch of Package erlang

From f9a7a88924eeed9b1497e750242f549da5c7a548 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Gustavsson?= <bjorn@erlang.org>
Date: Tue, 12 Jan 2021 08:54:27 +0100
Subject: [PATCH] compiler tests: Use proper_erlang_abstract_code if available

---
 lib/compiler/test/property_test/compile_prop.erl | 2 +-
 lib/compiler/test/random_code_SUITE.erl          | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/lib/compiler/test/property_test/compile_prop.erl b/lib/compiler/test/property_test/compile_prop.erl
index 5fdd6409d6..fde11d0677 100644
--- a/lib/compiler/test/property_test/compile_prop.erl
+++ b/lib/compiler/test/property_test/compile_prop.erl
@@ -43,7 +43,7 @@ compile() ->
 
 compile_1() ->
     Opts = [{resize,true}],
-    ?FORALL(Abstr, proper_abstr:module(Opts),
+    ?FORALL(Abstr, proper_erlang_abstract_code:module(Opts),
             ?WHENFAIL(
                begin
                    io:format("~ts\n", [[erl_pp:form(F) || F <- Abstr]]),
diff --git a/lib/compiler/test/random_code_SUITE.erl b/lib/compiler/test/random_code_SUITE.erl
index 747a9aebd1..a24be35128 100644
--- a/lib/compiler/test/random_code_SUITE.erl
+++ b/lib/compiler/test/random_code_SUITE.erl
@@ -38,12 +38,12 @@ groups() ->
 init_per_suite(Config0) ->
     case ct_property_test:init_per_suite(Config0) of
         [_|_]=Config ->
-            try proper_abstr:module() of
+            try proper_erlang_abstract_code:module() of
                 _ ->
                     Config
             catch
                 error:undef ->
-                    {skip,"No proper_abstr module"}
+                    {skip,"No proper_erlang_abstract_code module"}
             end;
         Other ->
             Other
-- 
2.26.2

Places

File 0119-compiler-tests-Use-proper_erlang_abstract_code-if-av.patch of Package erlang

Places