From ea7f00f1c137112f5def73f54244f79c7336363a Mon Sep 17 00:00:00 2001 From: Siraaj Khandkar Date: Sat, 5 Sep 2015 16:39:31 -0700 Subject: [PATCH] Abbreviate proper_types module. --- test/hope_list_SUITE.erl | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) diff --git a/test/hope_list_SUITE.erl b/test/hope_list_SUITE.erl index 1919249..8994868 100644 --- a/test/hope_list_SUITE.erl +++ b/test/hope_list_SUITE.erl @@ -24,6 +24,8 @@ -define(PROPTEST(A), true = proper:quickcheck(A())). +-define(type, proper_types). + %% ============================================================================ %% Common Test callbacks @@ -54,35 +56,35 @@ t_map_rev(_Cfg) -> ?PROPTEST(map_rev). map_rev() -> - ?FORALL({L, F}, {proper_types:list(proper_types:integer()), proper_types:function([proper_types:integer()], proper_types:term())}, + ?FORALL({L, F}, {?type:list(?type:integer()), ?type:function([?type:integer()], ?type:term())}, hope_list:map_rev(L, F) == lists:reverse(lists:map(F, L))). t_map_slow(_Cfg) -> ?PROPTEST(map_slow). map_slow() -> - ?FORALL({L, F}, {proper_types:list(proper_types:integer()), proper_types:function([proper_types:integer()], proper_types:term())}, + ?FORALL({L, F}, {?type:list(?type:integer()), ?type:function([?type:integer()], ?type:term())}, hope_list:map_slow(L, F) == lists:map(F, L)). t_map(_Cfg) -> ?PROPTEST(map). map() -> - ?FORALL({L, F}, {proper_types:list(proper_types:integer()), proper_types:function([proper_types:integer()], proper_types:term())}, + ?FORALL({L, F}, {?type:list(?type:integer()), ?type:function([?type:integer()], ?type:term())}, hope_list:map(L, F) == lists:map(F, L)). t_map_3(_Cfg) -> ?PROPTEST(map_3). map_3() -> - ?FORALL({L, F, N}, {proper_types:list(proper_types:integer()), proper_types:function([proper_types:integer()], proper_types:term()), proper_types:non_neg_integer()}, + ?FORALL({L, F, N}, {?type:list(?type:integer()), ?type:function([?type:integer()], ?type:term()), ?type:non_neg_integer()}, hope_list:map(L, F, N) == lists:map(F, L)). t_unique_preserve_order(_Cfg) -> ?PROPTEST(prop_unique_preserve_order). prop_unique_preserve_order() -> - ?FORALL(L, proper_types:list(), + ?FORALL(L, ?type:list(), begin Duplicates = L -- lists:usort(L), hope_list:unique_preserve_order(L) == -- 2.20.1