X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=test%2Fhope_result_SUITE.erl;h=a49d4519c66d80c74dc975022aaa6165f22577c5;hb=8857d0f074831db31349897dabc7261fc71730c1;hp=de6a7bbd49426044d6515dbbe38411c1ad014b86;hpb=126c888082556366e73dfa5fb5fe3eedf2818dfc;p=hope.git

diff --git a/test/hope_result_SUITE.erl b/test/hope_result_SUITE.erl
index de6a7bb..a49d451 100644
--- a/test/hope_result_SUITE.erl
+++ b/test/hope_result_SUITE.erl
@@ -1,5 +1,8 @@
 -module(hope_result_SUITE).
 
+%% TODO: Import only what is used.
+-include_lib("proper/include/proper.hrl").
+
 %% Callbacks
 -export(
     [ all/0
@@ -12,10 +15,12 @@
 -export(
     [ t_pipe_ok/1
     , t_pipe_error/1
+    , t_hope_result_specs/1
     ]).
 
 
 -define(GROUP_PIPE, result_pipe).
+-define(GROUP_SPEC, result_spec).
 
 
 %% ============================================================================
@@ -23,16 +28,25 @@
 %% ============================================================================
 
 all() ->
-    [{group, ?GROUP_PIPE}].
+    [ {group, ?GROUP_PIPE}
+    , {group, ?GROUP_SPEC}
+    ].
 
 groups() ->
-    Tests =
+    PipeTests =
         [ t_pipe_ok
         , t_pipe_error
         ],
-    Properties = [],
-    [{?GROUP_PIPE, Properties, Tests}].
+    SpecTests =
+        [ t_hope_result_specs
+        ],
+    Properties = [parallel],
+    [ {?GROUP_PIPE, Properties, PipeTests}
+    , {?GROUP_SPEC, Properties, SpecTests}
+    ].
 
+init_per_group(?GROUP_SPEC, Cfg) ->
+    Cfg;
 init_per_group(?GROUP_PIPE, Cfg) ->
     Steps =
         [ fun (0) -> {ok, 1}; (X) -> {error, X} end
@@ -41,6 +55,8 @@ init_per_group(?GROUP_PIPE, Cfg) ->
         ],
     hope_kv_list:set(Cfg, steps, Steps).
 
+end_per_group(?GROUP_SPEC, _Cfg) ->
+    ok;
 end_per_group(?GROUP_PIPE, _Cfg) ->
     ok.
 
@@ -56,3 +72,6 @@ t_pipe_ok(Cfg) ->
 t_pipe_error(Cfg) ->
     {some, Steps} = hope_kv_list:get(Cfg, steps),
     {error, 1} = hope_result:pipe(Steps, 1).
+
+t_hope_result_specs(_) ->
+    [] = proper:check_specs(hope_result).