packages/erlang-proper
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

An additional commit

Browse Source 
Signed-off-by: liubo <liubo1@xfusion.com>
This commit is contained in:
liubo 2023-12-06 10:52:32 +08:00
parent 38b26c6f62
commit 1ef5e09edf
2 changed files with 67 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

60
0001-An-additional-commit.patch Normal file
View File

@ -0,0 +1,60 @@
From c12d2ed355aab95fc5b5d20920db0dff836bffe2 Mon Sep 17 00:00:00 2001
From: Kostis Sagonas <kostis@it.uu.se>
Date: Tue, 18 Jun 2019 17:22:49 +0200
Subject: [PATCH] An additional commit
---
src/proper_unused_imports_remover.erl | 15 ++++-----------
1 file changed, 4 insertions(+), 11 deletions(-)
diff --git a/src/proper_unused_imports_remover.erl b/src/proper_unused_imports_remover.erl
index 140b48f..debe936 100644
--- a/src/proper_unused_imports_remover.erl
+++ b/src/proper_unused_imports_remover.erl
@@ -1,7 +1,7 @@
%%% -*- coding: utf-8 -*-
%%% -*- erlang-indent-level: 2 -*-
%%% -------------------------------------------------------------------
-%%% Copyright 2015-2017 Manolis Papadakis <manopapad@gmail.com>,
+%%% Copyright 2015-2019 Manolis Papadakis <manopapad@gmail.com>,
%%% Eirini Arvaniti <eirinibob@gmail.com>
%%% and Kostis Sagonas <kostis@cs.ntua.gr>
%%%
@@ -20,7 +20,7 @@
%%% You should have received a copy of the GNU General Public License
%%% along with PropEr. If not, see <http://www.gnu.org/licenses/>.
-%%% @copyright 2015-2017 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
+%%% @copyright 2015-2019 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
%%% @version {@version}
%%% @author Zaiming Shi (modifications and update by Kostis Sagonas)
@@ -29,15 +29,8 @@
-include("proper_internal.hrl").
--ifdef(USE_ERL_SCAN_LINE).
--define(LINE_MOD, erl_scan).
--else.
--define(LINE_MOD, erl_anno).
--endif.
-
-type key() :: {fun_name(), arity()}.
-
--type val() :: {?LINE_MOD:line(), mod_name(), boolean()}.
+-type val() :: {erl_anno:line(), mod_name(), boolean()}.
-type imp_dict() :: dict:dict(key(), val()).
-define(IMP_MODULES,
@@ -120,7 +113,7 @@ new_import_attributes(Dict) ->
Imports = lists:keysort(1, LMFs),
lists:reverse(lists:foldl(fun add_new_attribute/2, [], Imports)).
--type lmf() :: {?LINE_MOD:line(), mod_name(), fun_name()}.
+-type lmf() :: {erl_anno:line(), mod_name(), fun_name()}.
-spec add_new_attribute(lmf(), [abs_form()]) -> [abs_form()].
add_new_attribute({Line, Mod, Fun}, [{_, Line, _, {Mod, FunL}} | Attributes]) ->
[{attribute, Line, import, {Mod, [Fun | FunL]}} | Attributes];
--
2.42.0.windows.2

8
erlang-proper.spec
View File

@ -2,13 +2,16 @@
%global upstream manopapad
Name: erlang-proper
Version: 1.3
Release: 1
Release: 2
BuildArch: noarch
License: GPLv3+
Summary: A QuickCheck-inspired property-based testing tool for Erlang
URL: https://github.com/manopapad/proper
Source0: https://github.com/manopapad/proper/archive/v%{version}/proper-%{version}.tar.gz
BuildRequires: erlang-rebar
Patch0001: 0001-An-additional-commit.patch
%description
PropEr (PROPerty-based testing tool for ERlang) is a QuickCheck-inspired
open-source property-based testing tool for Erlang.
@ -34,5 +37,8 @@ open-source property-based testing tool for Erlang.
%{erlang_appdir}/
%changelog
* Wed Dec 6 2023 liubo <liubo1@xfusion.com> - 1.3-2
- An additional commit
* Sat Aug 29 2020 yaokai <yaokai13@huawei.com> - 1.3-1
- package init