_由 reiddraper 发表的评论：
抱歉Delayed，这是我一直在用的草图
diff --git a/src/main/clojure/clojure/test/check/properties.clj b/src/main/clojure/clojure/test/check/properties.clj
index 99b5222..139ae9a 100644
--- a/src/main/clojure/clojure/test/check/properties.clj
+++ b/src/main/clojure/clojure/test/check/properties.clj
@@ -8,13 +8,47 @@
; 不要从该软件中删除此通知或其他任何通知。
(ns clojure.test.check.properties
+ (:import clojure.test.check.generators.Generator)
(:require [clojure.test.check.generators :as gen]))
+(defrecord Result [result pass? message stamps])
+
+(defprotocol ToResult
+ (to-result [a]))
+
+(extend java.lang.Object
+ ToResult
+ {:to-result (fn [b]
+ ;; 在这里未检查捕获的异常
+ (->Result b (not (false? b)) nil nil))})
+
+(extend nil
+ ToResult
+ {:to-result (fn [b]
+ (->Result b false nil nil))})
+
+(extend java.lang.Boolean
+ ToResult
+ {:to-result (fn [b]
+ (->Result b b nil nil))})
+
+(extend Generator
+ ToResult
+ {:to-result identity})
+
+(extend Result
+ ToResult
+ {:to-result identity})
+
+(defn message
+ [m property]
+ (assoc property :message m))
+
(defn- apply-gen
[function]
(fn [args]
- (let [result (try (apply function args) (catch Throwable t t))]
- {:result result
+ (let [result (to-result (try (apply function args) (catch Throwable t t)))]
+ {:result (:result result)
:function function
:args args})))
@@ -29,9 +63,18 @@
(for-all* [gen/int gen/int] (fn [a b] (>= (+ a b) a)))
"
[args function]
- (gen/fmap
- (apply-gen function)
- (apply gen/tuple args)))
+ (gen/bind
+ (apply gen/tuple args)
+ (fn [a]
+ (let [result ((apply-gen function) a)]
+ (cond (gen/generator? result) (gen/fmap (fn [r] (println "foo") (update-in r :args #(conj % a))) result)
+ ;;; 注意：在离开这门代码之前，快速提醒自己,
+ 这个：else 是因为我们在将结果
+ 用 {:result ...} 映射来包装的。
+ ;; 我想我们还需要两种结果类型，一种
+ 用于从属性本身返回，另一种则将 'args'
+ 放在这个结果之上。
+ :else (do (println "bar") (gen/return result)))))
(defn binding-vars [bindings]
