Allow ExUnit assert function for forall return

alfert · Aug 30, 2021 · 61441e3 · 61441e3
1 parent d2c3d34
commit 61441e3
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/lib/propcheck.ex b/lib/propcheck.ex
@@ -440,7 +440,13 @@ defmodule PropCheck do
         unquote(rawtype),
         fn unquote(var) ->
           try do
-            unquote(prop)
+            case unquote(prop) do
+              return when is_boolean(return) -> return
+              return when is_tuple(return) -> return
+              # Convert truthy value to boolean true and falsey value to boolean false
+              # This is necesary to accomodate
+              return -> !!return
+            end
           rescue
             e in ExUnit.AssertionError ->
               if verbose? do