Skip to content

Instantly share code, notes, and snippets.

@hozumi

hozumi/dotrace_magic.clj

Created February 14, 2011 14:57
Show Gist options
  • Save hozumi/825982 to your computer and use it in GitHub Desktop.
Save hozumi/825982 to your computer and use it in GitHub Desktop.
Download ZIP
for debugging
Raw
dotrace_magic.clj
prover> (eval `(trace/dotrace ~(keys (ns-interns 'prover)) (test-prove)))
TRACE t8307: (test-prove)
TRACE t8308: | (prove #<prover$eval8191$fn__8262 prover$eval8191$fn__8262@aaf5002> (((X = (((N - 1) * N) DIV 2)) and ((1 <= N) and (N <= M))) implies ((X + N) = ((((N + 1) - 1) * (N + 1)) DIV 2))))
TRACE t8309: | | (repeat-apply #<prover$prove$fn__4032 prover$prove$fn__4032@7badb8c8> (((X = (((N - 1) * N) DIV 2)) and ((1 <= N) and (N <= M))) implies ((X + N) = ((((N + 1) - 1) * (N + 1)) DIV 2))))
TRACE t8310: | | | (depth-imp-simp (((X = (((N - 1) * N) DIV 2)) and ((1 <= N) and (N <= M))) implies ((X + N) = ((((N + 1) - 1) * (N + 1)) DIV 2))))
TRACE t8311: | | | | (imp-simp X)
TRACE t8312: | | | | | (imp-subst-simp X)
TRACE t8312: | | | | | => X
TRACE t8313: | | | | | (imp-and-simp X)
TRACE t8313: | | | | | => X
TRACE t8311: | | | | => X
TRACE t8314: | | | | (imp-simp =)
TRACE t8315: | | | | | (imp-subst-simp =)
TRACE t8315: | | | | | => =
TRACE t8316: | | | | | (imp-and-simp =)
TRACE t8316: | | | | | => =
TRACE t8314: | | | | => =
TRACE t8317: | | | | (imp-simp N)
TRACE t8318: | | | | | (imp-subst-simp N)
TRACE t8318: | | | | | => N
TRACE t8319: | | | | | (imp-and-simp N)
TRACE t8319: | | | | | => N
TRACE t8317: | | | | => N
TRACE t8320: | | | | (imp-simp -)
TRACE t8321: | | | | | (imp-subst-simp -)
TRACE t8321: | | | | | => -
TRACE t8322: | | | | | (imp-and-simp -)
TRACE t8322: | | | | | => -
TRACE t8320: | | | | => -
TRACE t8323: | | | | (imp-simp 1)
TRACE t8324: | | | | | (imp-subst-simp 1)
TRACE t8324: | | | | | => 1
TRACE t8325: | | | | | (imp-and-simp 1)
TRACE t8325: | | | | | => 1
TRACE t8323: | | | | => 1
TRACE t8326: | | | | (imp-simp (N - 1))
TRACE t8327: | | | | | (imp-subst-simp (N - 1))
TRACE t8327: | | | | | => (N - 1)
TRACE t8328: | | | | | (imp-and-simp (N - 1))
TRACE t8328: | | | | | => (N - 1)
TRACE t8326: | | | | => (N - 1)
TRACE t8329: | | | | (imp-simp *)
TRACE t8330: | | | | | (imp-subst-simp *)
TRACE t8330: | | | | | => *
TRACE t8331: | | | | | (imp-and-simp *)
TRACE t8331: | | | | | => *
TRACE t8329: | | | | => *
TRACE t8332: | | | | (imp-simp N)
TRACE t8333: | | | | | (imp-subst-simp N)
TRACE t8333: | | | | | => N
TRACE t8334: | | | | | (imp-and-simp N)
TRACE t8334: | | | | | => N
TRACE t8332: | | | | => N
TRACE t8335: | | | | (imp-simp ((N - 1) * N))
TRACE t8336: | | | | | (imp-subst-simp ((N - 1) * N))
TRACE t8336: | | | | | => ((N - 1) * N)
TRACE t8337: | | | | | (imp-and-simp ((N - 1) * N))
TRACE t8337: | | | | | => ((N - 1) * N)
TRACE t8335: | | | | => ((N - 1) * N)
TRACE t8338: | | | | (imp-simp DIV)
TRACE t8339: | | | | | (imp-subst-simp DIV)
TRACE t8339: | | | | | => DIV
TRACE t8340: | | | | | (imp-and-simp DIV)
TRACE t8340: | | | | | => DIV
TRACE t8338: | | | | => DIV
TRACE t8341: | | | | (imp-simp 2)
TRACE t8342: | | | | | (imp-subst-simp 2)
TRACE t8342: | | | | | => 2
TRACE t8343: | | | | | (imp-and-simp 2)
TRACE t8343: | | | | | => 2
TRACE t8341: | | | | => 2
TRACE t8344: | | | | (imp-simp (((N - 1) * N) DIV 2))
TRACE t8345: | | | | | (imp-subst-simp (((N - 1) * N) DIV 2))
TRACE t8345: | | | | | => (((N - 1) * N) DIV 2)
TRACE t8346: | | | | | (imp-and-simp (((N - 1) * N) DIV 2))
TRACE t8346: | | | | | => (((N - 1) * N) DIV 2)
TRACE t8344: | | | | => (((N - 1) * N) DIV 2)
TRACE t8347: | | | | (imp-simp (X = (((N - 1) * N) DIV 2)))
TRACE t8348: | | | | | (imp-subst-simp (X = (((N - 1) * N) DIV 2)))
TRACE t8348: | | | | | => (X = (((N - 1) * N) DIV 2))
TRACE t8349: | | | | | (imp-and-simp (X = (((N - 1) * N) DIV 2)))
TRACE t8349: | | | | | => (X = (((N - 1) * N) DIV 2))
TRACE t8347: | | | | => (X = (((N - 1) * N) DIV 2))
TRACE t8350: | | | | (imp-simp and)
TRACE t8351: | | | | | (imp-subst-simp and)
TRACE t8351: | | | | | => and
TRACE t8352: | | | | | (imp-and-simp and)
TRACE t8352: | | | | | => and
TRACE t8350: | | | | => and
TRACE t8353: | | | | (imp-simp 1)
TRACE t8354: | | | | | (imp-subst-simp 1)
TRACE t8354: | | | | | => 1
TRACE t8355: | | | | | (imp-and-simp 1)
TRACE t8355: | | | | | => 1
TRACE t8353: | | | | => 1
TRACE t8356: | | | | (imp-simp <=)
TRACE t8357: | | | | | (imp-subst-simp <=)
TRACE t8357: | | | | | => <=
TRACE t8358: | | | | | (imp-and-simp <=)
TRACE t8358: | | | | | => <=
TRACE t8356: | | | | => <=
TRACE t8359: | | | | (imp-simp N)
TRACE t8360: | | | | | (imp-subst-simp N)
TRACE t8360: | | | | | => N
TRACE t8361: | | | | | (imp-and-simp N)
TRACE t8361: | | | | | => N
TRACE t8359: | | | | => N
TRACE t8362: | | | | (imp-simp (1 <= N))
TRACE t8363: | | | | | (imp-subst-simp (1 <= N))
TRACE t8363: | | | | | => (1 <= N)
TRACE t8364: | | | | | (imp-and-simp (1 <= N))
TRACE t8364: | | | | | => (1 <= N)
TRACE t8362: | | | | => (1 <= N)
TRACE t8365: | | | | (imp-simp and)
TRACE t8366: | | | | | (imp-subst-simp and)
TRACE t8366: | | | | | => and
TRACE t8367: | | | | | (imp-and-simp and)
TRACE t8367: | | | | | => and
TRACE t8365: | | | | => and
TRACE t8368: | | | | (imp-simp N)
TRACE t8369: | | | | | (imp-subst-simp N)
TRACE t8369: | | | | | => N
TRACE t8370: | | | | | (imp-and-simp N)
TRACE t8370: | | | | | => N
TRACE t8368: | | | | => N
TRACE t8371: | | | | (imp-simp <=)
TRACE t8372: | | | | | (imp-subst-simp <=)
TRACE t8372: | | | | | => <=
TRACE t8373: | | | | | (imp-and-simp <=)
TRACE t8373: | | | | | => <=
TRACE t8371: | | | | => <=
TRACE t8374: | | | | (imp-simp M)
TRACE t8375: | | | | | (imp-subst-simp M)
TRACE t8375: | | | | | => M
TRACE t8376: | | | | | (imp-and-simp M)
TRACE t8376: | | | | | => M
TRACE t8374: | | | | => M
TRACE t8377: | | | | (imp-simp (N <= M))
TRACE t8378: | | | | | (imp-subst-simp (N <= M))
TRACE t8378: | | | | | => (N <= M)
TRACE t8379: | | | | | (imp-and-simp (N <= M))
TRACE t8379: | | | | | => (N <= M)
TRACE t8377: | | | | => (N <= M)
TRACE t8380: | | | | (imp-simp ((1 <= N) and (N <= M)))
TRACE t8381: | | | | | (imp-subst-simp ((1 <= N) and (N <= M)))
TRACE t8381: | | | | | => ((1 <= N) and (N <= M))
TRACE t8382: | | | | | (imp-and-simp ((1 <= N) and (N <= M)))
TRACE t8382: | | | | | => ((1 <= N) and (N <= M))
TRACE t8380: | | | | => ((1 <= N) and (N <= M))
TRACE t8383: | | | | (imp-simp ((X = (((N - 1) * N) DIV 2)) and ((1 <= N) and (N <= M))))
TRACE t8384: | | | | | (imp-subst-simp ((X = (((N - 1) * N) DIV 2)) and ((1 <= N) and (N <= M))))
TRACE t8384: | | | | | => ((X = (((N - 1) * N) DIV 2)) and ((1 <= N) and (N <= M)))
TRACE t8385: | | | | | (imp-and-simp ((X = (((N - 1) * N) DIV 2)) and ((1 <= N) and (N <= M))))
TRACE t8385: | | | | | => ((X = (((N - 1) * N) DIV 2)) and ((1 <= N) and (N <= M)))
TRACE t8383: | | | | => ((X = (((N - 1) * N) DIV 2)) and ((1 <= N) and (N <= M)))
TRACE t8386: | | | | (imp-simp implies)
TRACE t8387: | | | | | (imp-subst-simp implies)
TRACE t8387: | | | | | => implies
TRACE t8388: | | | | | (imp-and-simp implies)
TRACE t8388: | | | | | => implies
TRACE t8386: | | | | => implies
TRACE t8389: | | | | (imp-simp X)
TRACE t8390: | | | | | (imp-subst-simp X)
TRACE t8390: | | | | | => X
TRACE t8391: | | | | | (imp-and-simp X)
TRACE t8391: | | | | | => X
TRACE t8389: | | | | => X
TRACE t8392: | | | | (imp-simp +)
TRACE t8393: | | | | | (imp-subst-simp +)
TRACE t8393: | | | | | => +
TRACE t8394: | | | | | (imp-and-simp +)
TRACE t8394: | | | | | => +
TRACE t8392: | | | | => +
TRACE t8395: | | | | (imp-simp N)
TRACE t8396: | | | | | (imp-subst-simp N)
TRACE t8396: | | | | | => N
TRACE t8397: | | | | | (imp-and-simp N)
TRACE t8397: | | | | | => N
TRACE t8395: | | | | => N
TRACE t8398: | | | | (imp-simp (X + N))
TRACE t8399: | | | | | (imp-subst-simp (X + N))
TRACE t8399: | | | | | => (X + N)
TRACE t8400: | | | | | (imp-and-simp (X + N))
TRACE t8400: | | | | | => (X + N)
TRACE t8398: | | | | => (X + N)
TRACE t8401: | | | | (imp-simp =)
TRACE t8402: | | | | | (imp-subst-simp =)
TRACE t8402: | | | | | => =
TRACE t8403: | | | | | (imp-and-simp =)
TRACE t8403: | | | | | => =
TRACE t8401: | | | | => =
TRACE t8404: | | | | (imp-simp N)
TRACE t8405: | | | | | (imp-subst-simp N)
TRACE t8405: | | | | | => N
TRACE t8406: | | | | | (imp-and-simp N)
TRACE t8406: | | | | | => N
TRACE t8404: | | | | => N
TRACE t8407: | | | | (imp-simp +)
TRACE t8408: | | | | | (imp-subst-simp +)
TRACE t8408: | | | | | => +
TRACE t8409: | | | | | (imp-and-simp +)
TRACE t8409: | | | | | => +
TRACE t8407: | | | | => +
TRACE t8410: | | | | (imp-simp 1)
TRACE t8411: | | | | | (imp-subst-simp 1)
TRACE t8411: | | | | | => 1
TRACE t8412: | | | | | (imp-and-simp 1)
TRACE t8412: | | | | | => 1
TRACE t8410: | | | | => 1
TRACE t8413: | | | | (imp-simp (N + 1))
TRACE t8414: | | | | | (imp-subst-simp (N + 1))
TRACE t8414: | | | | | => (N + 1)
TRACE t8415: | | | | | (imp-and-simp (N + 1))
TRACE t8415: | | | | | => (N + 1)
TRACE t8413: | | | | => (N + 1)
TRACE t8416: | | | | (imp-simp -)
TRACE t8417: | | | | | (imp-subst-simp -)
TRACE t8417: | | | | | => -
TRACE t8418: | | | | | (imp-and-simp -)
TRACE t8418: | | | | | => -
TRACE t8416: | | | | => -
TRACE t8419: | | | | (imp-simp 1)
TRACE t8420: | | | | | (imp-subst-simp 1)
TRACE t8420: | | | | | => 1
TRACE t8421: | | | | | (imp-and-simp 1)
TRACE t8421: | | | | | => 1
TRACE t8419: | | | | => 1
TRACE t8422: | | | | (imp-simp ((N + 1) - 1))
TRACE t8423: | | | | | (imp-subst-simp ((N + 1) - 1))
TRACE t8423: | | | | | => ((N + 1) - 1)
TRACE t8424: | | | | | (imp-and-simp ((N + 1) - 1))
TRACE t8424: | | | | | => ((N + 1) - 1)
TRACE t8422: | | | | => ((N + 1) - 1)
TRACE t8425: | | | | (imp-simp *)
TRACE t8426: | | | | | (imp-subst-simp *)
TRACE t8426: | | | | | => *
TRACE t8427: | | | | | (imp-and-simp *)
TRACE t8427: | | | | | => *
TRACE t8425: | | | | => *
TRACE t8428: | | | | (imp-simp N)
TRACE t8429: | | | | | (imp-subst-simp N)
TRACE t8429: | | | | | => N
TRACE t8430: | | | | | (imp-and-simp N)
TRACE t8430: | | | | | => N
TRACE t8428: | | | | => N
TRACE t8431: | | | | (imp-simp +)
TRACE t8432: | | | | | (imp-subst-simp +)
TRACE t8432: | | | | | => +
TRACE t8433: | | | | | (imp-and-simp +)
TRACE t8433: | | | | | => +
TRACE t8431: | | | | => +
TRACE t8434: | | | | (imp-simp 1)
TRACE t8435: | | | | | (imp-subst-simp 1)
TRACE t8435: | | | | | => 1
TRACE t8436: | | | | | (imp-and-simp 1)
TRACE t8436: | | | | | => 1
TRACE t8434: | | | | => 1
TRACE t8437: | | | | (imp-simp (N + 1))
TRACE t8438: | | | | | (imp-subst-simp (N + 1))
TRACE t8438: | | | | | => (N + 1)
TRACE t8439: | | | | | (imp-and-simp (N + 1))
TRACE t8439: | | | | | => (N + 1)
TRACE t8437: | | | | => (N + 1)
TRACE t8440: | | | | (imp-simp (((N + 1) - 1) * (N + 1)))
TRACE t8441: | | | | | (imp-subst-simp (((N + 1) - 1) * (N + 1)))
TRACE t8441: | | | | | => (((N + 1) - 1) * (N + 1))
TRACE t8442: | | | | | (imp-and-simp (((N + 1) - 1) * (N + 1)))
TRACE t8442: | | | | | => (((N + 1) - 1) * (N + 1))
TRACE t8440: | | | | => (((N + 1) - 1) * (N + 1))
TRACE t8443: | | | | (imp-simp DIV)
TRACE t8444: | | | | | (imp-subst-simp DIV)
TRACE t8444: | | | | | => DIV
TRACE t8445: | | | | | (imp-and-simp DIV)
TRACE t8445: | | | | | => DIV
TRACE t8443: | | | | => DIV
TRACE t8446: | | | | (imp-simp 2)
TRACE t8447: | | | | | (imp-subst-simp 2)
TRACE t8447: | | | | | => 2
TRACE t8448: | | | | | (imp-and-simp 2)
TRACE t8448: | | | | | => 2
TRACE t8446: | | | | => 2
TRACE t8449: | | | | (imp-simp ((((N + 1) - 1) * (N + 1)) DIV 2))
TRACE t8450: | | | | | (imp-subst-simp ((((N + 1) - 1) * (N + 1)) DIV 2))
TRACE t8450: | | | | | => ((((N + 1) - 1) * (N + 1)) DIV 2)
TRACE t8451: | | | | | (imp-and-simp ((((N + 1) - 1) * (N + 1)) DIV 2))
TRACE t8451: | | | | | => ((((N + 1) - 1) * (N + 1)) DIV 2)
TRACE t8449: | | | | => ((((N + 1) - 1) * (N + 1)) DIV 2)
TRACE t8452: | | | | (imp-simp ((X + N) = ((((N + 1) - 1) * (N + 1)) DIV 2)))
TRACE t8453: | | | | | (imp-subst-simp ((X + N) = ((((N + 1) - 1) * (N + 1)) DIV 2)))
TRACE t8453: | | | | | => ((X + N) = ((((N + 1) - 1) * (N + 1)) DIV 2))
TRACE t8454: | | | | | (imp-and-simp ((X + N) = ((((N + 1) - 1) * (N + 1)) DIV 2)))
TRACE t8454: | | | | | => ((X + N) = ((((N + 1) - 1) * (N + 1)) DIV 2))
TRACE t8452: | | | | => ((X + N) = ((((N + 1) - 1) * (N + 1)) DIV 2))
TRACE t8455: | | | | (imp-simp (((X = (((N - 1) * N) DIV 2)) and ((1 <= N) and (N <= M))) implies ((X + N) = ((((N + 1) - 1) * (N + 1)) DIV 2))))
TRACE t8456: | | | | | (imp-subst-simp (((X = (((N - 1) * N) DIV 2)) and ((1 <= N) and (N <= M))) implies ((X + N) = ((((N + 1) - 1) * (N + 1)) DIV 2))))
TRACE t8456: | | | | | => (((X = (((N - 1) * N) DIV 2)) and ((1 <= N) and (N <= M))) implies ((X + N) = ((((N + 1) - 1) * (N + 1)) DIV 2)))
TRACE t8457: | | | | | (imp-and-simp (((X = (((N - 1) * N) DIV 2)) and ((1 <= N) and (N <= M))) implies ((X + N) = ((((N + 1) - 1) * (N + 1)) DIV 2))))
TRACE t8457: | | | | | => (((X = (((N - 1) * N) DIV 2)) and ((1 <= N) and (N <= M))) implies ((X + N) = ((((N + 1) - 1) * (N + 1)) DIV 2)))
TRACE t8455: | | | | => (((X = (((N - 1) * N) DIV 2)) and ((1 <= N) and (N <= M))) implies ((X + N) = ((((N + 1) - 1) * (N + 1)) DIV 2)))
TRACE t8310: | | | => (((X = (((N - 1) * N) DIV 2)) and ((1 <= N) and (N <= M))) implies ((X + N) = ((((N + 1) - 1) * (N + 1)) DIV 2)))
TRACE t8458: | | | (top-depth-rewrite #<prover$eval8191$fn__8262 prover$eval8191$fn__8262@aaf5002> (((X = (((N - 1) * N) DIV 2)) and ((1 <= N) and (N <= M))) implies ((X + N) = ((((N + 1) - 1) * (N + 1)) DIV 2))))
TRACE t8459: | | | | (rewrite #<prover$eval8191$fn__8262 prover$eval8191$fn__8262@aaf5002> (((X = (((N - 1) * N) DIV 2)) and ((1 <= N) and (N <= M))) implies ((X + N) = ((((N + 1) - 1) * (N + 1)) DIV 2))))
ERROR in (test-prove) (RT.java:471)
expected: (= (quote T) (prove facts (quote (((X = (((N - 1) * N) DIV 2)) and ((1 <= N) and (N <= M))) implies ((X + N) = ((((N + 1) - 1) * (N + 1)) DIV 2))))))
actual: java.lang.IllegalArgumentException: Don't know how to create ISeq from: prover$eval8191$fn__8262
at clojure.lang.RT.seqFrom (RT.java:471)
clojure.lang.RT.seq (RT.java:452)
clojure.core$seq.invoke (core.clj:122)
clojure.core$r.invoke (core.clj:793)
prover$rewrite.invoke (prover.clj:57)
clojure.lang.AFn.applyToHelper (AFn.java:165)
clojure.lang.AFn.applyTo (AFn.java:151)
clojure.core$apply.invoke (core.clj:540)
clojure.contrib.trace$trace_fn_call$fn__3198.invoke (trace.clj:71)
clojure.contrib.trace$trace_fn_call.invoke (trace.clj:70)
prover$eval8191$fn__8232.doInvoke (NO_SOURCE_FILE:1)
clojure.lang.RestFn.invoke (RestFn.java:422)
prover$top_depth_rewrite$fn__4021.invoke (prover.clj:159)
clojure.walk$prewalk.invoke (walk.clj:66)
prover$top_depth_rewrite.invoke (prover.clj:158)
clojure.lang.AFn.applyToHelper (AFn.java:165)
clojure.lang.AFn.applyTo (AFn.java:151)
clojure.core$apply.invoke (core.clj:540)
clojure.contrib.trace$trace_fn_call$fn__3198.invoke (trace.clj:71)
clojure.contrib.trace$trace_fn_call.invoke (trace.clj:70)
prover$eval8191$fn__8236.doInvoke (NO_SOURCE_FILE:1)
clojure.lang.RestFn.invoke (RestFn.java:422)
prover$prove$fn__4032.invoke (prover.clj:175)
prover$repeat_apply.invoke (prover.clj:143)
clojure.lang.AFn.applyToHelper (AFn.java:165)
clojure.lang.AFn.applyTo (AFn.java:151)
clojure.core$apply.invoke (core.clj:540)
clojure.contrib.trace$trace_fn_call$fn__3198.invoke (trace.clj:71)
clojure.contrib.trace$trace_fn_call.invoke (trace.clj:70)
prover$eval8191$fn__8242.doInvoke (NO_SOURCE_FILE:1)
clojure.lang.RestFn.invoke (RestFn.java:422)
prover$prove.invoke (prover.clj:174)
clojure.lang.AFn.applyToHelper (AFn.java:165)
clojure.lang.AFn.applyTo (AFn.java:151)
clojure.core$apply.invoke (core.clj:540)
clojure.contrib.trace$trace_fn_call$fn__3198.invoke (trace.clj:71)
clojure.contrib.trace$trace_fn_call.invoke (trace.clj:70)
prover$eval8191$fn__8258.doInvoke (NO_SOURCE_FILE:1)
clojure.lang.RestFn.invoke (RestFn.java:422)
prover/fn (prover.clj:223)
clojure.test$test_var$fn__6131.invoke (test.clj:688)
clojure.test$test_var.invoke (test.clj:688)
prover$test_prove.invoke (prover.clj:221)
clojure.lang.AFn.applyToHelper (AFn.java:159)
clojure.lang.AFn.applyTo (AFn.java:151)
clojure.core$apply.invoke (core.clj:540)
clojure.contrib.trace$trace_fn_call$fn__3198.invoke (trace.clj:71)
clojure.contrib.trace$trace_fn_call.invoke (trace.clj:70)
prover$eval8191$fn__8192.doInvoke (NO_SOURCE_FILE:1)
clojure.lang.RestFn.invoke (RestFn.java:398)
prover$eval8191.invoke (NO_SOURCE_FILE:1)
clojure.lang.Compiler.eval (Compiler.java:5424)
clojure.lang.Compiler.eval (Compiler.java:5391)
clojure.core$eval.invoke (core.clj:2382)
prover$eval8189.invoke (NO_SOURCE_FILE:1)
clojure.lang.Compiler.eval (Compiler.java:5424)
clojure.lang.Compiler.eval (Compiler.java:5391)
clojure.core$eval.invoke (core.clj:2382)
swank.commands.basic$eval_region.invoke (basic.clj:47)
swank.commands.basic$eval_region.invoke (basic.clj:37)
swank.commands.basic$eval799$listener_eval__800.invoke (basic.clj:71)
clojure.lang.Var.invoke (Var.java:365)
prover$eval8187.invoke (NO_SOURCE_FILE:-1)
clojure.lang.Compiler.eval (Compiler.java:5424)
clojure.lang.Compiler.eval (Compiler.java:5391)
clojure.core$eval.invoke (core.clj:2382)
swank.core$eval_in_emacs_package.invoke (core.clj:90)
swank.core$eval_for_emacs.invoke (core.clj:237)
clojure.lang.Var.invoke (Var.java:373)
clojure.lang.AFn.applyToHelper (AFn.java:169)
clojure.lang.Var.applyTo (Var.java:482)
clojure.core$apply.invoke (core.clj:540)
swank.core$eval_from_control.invoke (core.clj:97)
swank.core$eval_loop.invoke (core.clj:102)
swank.core$spawn_repl_thread$fn__484$fn__485.invoke (core.clj:307)
clojure.lang.AFn.applyToHelper (AFn.java:159)
clojure.lang.AFn.applyTo (AFn.java:151)
clojure.core$apply.invoke (core.clj:540)
swank.core$spawn_repl_thread$fn__484.doInvoke (core.clj:304)
clojure.lang.RestFn.invoke (RestFn.java:398)
clojure.lang.AFn.run (AFn.java:24)
java.lang.Thread.run (Thread.java:680)
TRACE t8307: => nil
nil
prover>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment