From: Siraaj Khandkar <siraaj@khandkar.net>
Date: Sun, 4 Oct 2015 16:43:18 +0000 (-0400)
Subject: Upgrade proper to commit which fixes handling of user-defined types
X-Git-Tag: 3.9.0~1
X-Git-Url: https://git.xandkar.net/?p=hope.git;a=commitdiff_plain;h=61cace5b6adc4e9385cda749448b12c81951eef1

Upgrade proper to commit which fixes handling of user-defined types
---

diff --git a/rebar_test_build.config b/rebar_test_build.config
index 801bc90..d3c1b34 100644
--- a/rebar_test_build.config
+++ b/rebar_test_build.config
@@ -2,7 +2,7 @@
 {clean_files, ["test/*.beam"]}.
 
 {deps,
- [{proper, ".*", {git, "https://github.com/manopapad/proper.git", "20e62bc32f9bd43fe2ff52944a4ef99eb71d1399"}}]
+ [{proper, ".*", {git, "https://github.com/manopapad/proper.git", "ced2ddb3a719aec22e5abe55c51b56658b0e8a87"}}]
 }.
 
 {cover_enabled, true}.
diff --git a/test/hope_dictionary_SUITE.erl b/test/hope_dictionary_SUITE.erl
index c5bc8fe..cf0bfba 100644
--- a/test/hope_dictionary_SUITE.erl
+++ b/test/hope_dictionary_SUITE.erl
@@ -38,17 +38,7 @@ groups() ->
         , t_get
         , t_pop
         , t_fold
-
-        % TODO: Find-out why t_dictionary_specs failes with latest proper HEAD:
-        %
-        %   Testing hope_kv_list:to_kv_list/1
-        %   Error: The typeserver encountered an error: {unbound_var,'K'}.
-        %   *** CT Error Notification 2015-09-26 13:46:38.684 ***
-        %   hope_dictionary_SUITE:t_dictionary_specs failed on line 111
-        %   Reason: {badmatch,[{hope_kv_list,of_kv_list,1}]}
-        %
-        %, t_dictionary_specs
-
+        , t_dictionary_specs
         , t_has_key
         ],
     Properties = [parallel],