API tools faq
paste
Advertisement
Guest User

Untitled

a guest
Nov 10th, 2015
184
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 7.24 KB | None | 0 0
raw download clone embed print report
  1. {master} λ lein typed check
  2. Initializing core.typed ...
  3. Building core.typed base environments ...
  4. Finished building base environments
  5. "Elapsed time: 3262.992311 msecs"
  6. core.typed initialized.
  7. Start collecting for-repl.core
  8. WARNING: defn already refers to: #'clojure.core/defn in namespace: for-repl.core, being replaced by: #'clojure.core.typed/defn
  9. WARNING: let already refers to: #'clojure.core/let in namespace: for-repl.core, being replaced by: #'clojure.core.typed/let
  10. WARNING: doseq already refers to: #'clojure.core/doseq in namespace: for-repl.core, being replaced by: #'clojure.core.typed/doseq
  11. Finished collecting for-repl.core
  12. Collected 1 namespaces in 733.659023 msecs
  13. Not checking clojure.core.typed (does not depend on clojure.core.typed)
  14. Start checking for-repl.core
  15. 9: Not checking for-repl.core/->Human definition
  16. Checked for-repl.core in 2007.049213 msecs
  17. Checked 2 namespaces in 2755.77899 msecs
  18. Type Error (for_repl/core.clj:29:16) Polymorphic static method clojure.lang.RT/nth could not be applied to arguments:
  19. Polymorphic Variables:
  20. x
  21. y
  22.  
  23. Domains:
  24. (clojure.core.typed/I (U (Indexed x) (clojure.core.typed/I (Seqable x) Sequential)) (clojure.core.typed/CountRange 1)) (clojure.core.typed/Val 0) Any
  25. (U nil (Indexed x) (clojure.core.typed/I (Seqable x) Sequential)) clojure.core.typed/Int y
  26.  
  27. Arguments:
  28. Any (clojure.core.typed/Val 0) nil
  29.  
  30. Ranges:
  31. x
  32. (U y x)
  33.  
  34.  
  35. in: (clojure.lang.RT/nth vec__2912 0 nil)
  36.  
  37.  
  38. Type Error (for_repl/core.clj:29:7) Polymorphic static method clojure.lang.RT/nth could not be applied to arguments:
  39. Polymorphic Variables:
  40. x
  41. y
  42.  
  43. Domains:
  44. (clojure.core.typed/I (U (Indexed x) (clojure.core.typed/I (Seqable x) Sequential)) (clojure.core.typed/CountRange 2)) (clojure.core.typed/Val 1) Any
  45. (U nil (Indexed x) (clojure.core.typed/I (Seqable x) Sequential)) clojure.core.typed/Int y
  46.  
  47. Arguments:
  48. Any (clojure.core.typed/Val 1) nil
  49.  
  50. Ranges:
  51. x
  52. (U y x)
  53.  
  54.  
  55. in: (clojure.lang.RT/nth vec__2912 1 nil)
  56.  
  57.  
  58. Type Error (for_repl/core.clj:29:25) Polymorphic static method clojure.lang.RT/nth could not be applied to arguments:
  59. Polymorphic Variables:
  60. x
  61. y
  62.  
  63. Domains:
  64. (clojure.core.typed/I (U (Indexed x) (clojure.core.typed/I (Seqable x) Sequential)) (clojure.core.typed/CountRange 3)) (clojure.core.typed/Val 2) Any
  65. (U nil (Indexed x) (clojure.core.typed/I (Seqable x) Sequential)) clojure.core.typed/Int y
  66.  
  67. Arguments:
  68. Any (clojure.core.typed/Val 2) nil
  69.  
  70. Ranges:
  71. x
  72. (U x y)
  73.  
  74.  
  75. in: (clojure.lang.RT/nth vec__2912 2 nil)
  76.  
  77.  
  78. Type Error (for_repl/core.clj:29:32) Polymorphic static method clojure.lang.RT/nth could not be applied to arguments:
  79. Polymorphic Variables:
  80. x
  81. y
  82.  
  83. Domains:
  84. (clojure.core.typed/I (U (Indexed x) (clojure.core.typed/I (Seqable x) Sequential)) (clojure.core.typed/CountRange 4)) (clojure.core.typed/Val 3) Any
  85. (U nil (Indexed x) (clojure.core.typed/I (Seqable x) Sequential)) clojure.core.typed/Int y
  86.  
  87. Arguments:
  88. Any (clojure.core.typed/Val 3) nil
  89.  
  90. Ranges:
  91. x
  92. (U y x)
  93.  
  94.  
  95. in: (clojure.lang.RT/nth vec__2912 3 nil)
  96.  
  97.  
  98. Type Error (for_repl/core.clj:29:7) Polymorphic static method clojure.lang.RT/nth could not be applied to arguments:
  99. Polymorphic Variables:
  100. x
  101. y
  102.  
  103. Domains:
  104. (clojure.core.typed/I (U (Indexed x) (clojure.core.typed/I (Seqable x) Sequential)) (clojure.core.typed/CountRange 5)) (clojure.core.typed/Val 4) Any
  105. (U nil (Indexed x) (clojure.core.typed/I (Seqable x) Sequential)) clojure.core.typed/Int y
  106.  
  107. Arguments:
  108. Any (clojure.core.typed/Val 4) nil
  109.  
  110. Ranges:
  111. x
  112. (U x y)
  113.  
  114.  
  115. in: (clojure.lang.RT/nth vec__2912 4 nil)
  116.  
  117.  
  118. Type Error (for_repl/core.clj:29:43) Polymorphic static method clojure.lang.RT/nth could not be applied to arguments:
  119. Polymorphic Variables:
  120. x
  121. y
  122.  
  123. Domains:
  124. (clojure.core.typed/I (U (Indexed x) (clojure.core.typed/I (Seqable x) Sequential)) (clojure.core.typed/CountRange 6)) (clojure.core.typed/Val 5) Any
  125. (U nil (Indexed x) (clojure.core.typed/I (Seqable x) Sequential)) clojure.core.typed/Int y
  126.  
  127. Arguments:
  128. Any (clojure.core.typed/Val 5) nil
  129.  
  130. Ranges:
  131. x
  132. (U y x)
  133.  
  134.  
  135. in: (clojure.lang.RT/nth vec__2912 5 nil)
  136.  
  137.  
  138. Type Error (for_repl/core.clj:29:16) Polymorphic static method clojure.lang.RT/nth could not be applied to arguments:
  139. Polymorphic Variables:
  140. x
  141. y
  142.  
  143. Domains:
  144. (clojure.core.typed/I (U (Indexed x) (clojure.core.typed/I (Seqable x) Sequential)) (clojure.core.typed/CountRange 1)) (clojure.core.typed/Val 0) Any
  145. (U nil (Indexed x) (clojure.core.typed/I (Seqable x) Sequential)) clojure.core.typed/Int y
  146.  
  147. Arguments:
  148. Any (clojure.core.typed/Val 0) nil
  149.  
  150. Ranges:
  151. x
  152. (U x y)
  153.  
  154.  
  155. in: (clojure.lang.RT/nth vec__2913 0 nil)
  156.  
  157.  
  158. Type Error (for_repl/core.clj:29:7) Polymorphic static method clojure.lang.RT/nth could not be applied to arguments:
  159. Polymorphic Variables:
  160. x
  161. y
  162.  
  163. Domains:
  164. (clojure.core.typed/I (U (Indexed x) (clojure.core.typed/I (Seqable x) Sequential)) (clojure.core.typed/CountRange 2)) (clojure.core.typed/Val 1) Any
  165. (U nil (Indexed x) (clojure.core.typed/I (Seqable x) Sequential)) clojure.core.typed/Int y
  166.  
  167. Arguments:
  168. Any (clojure.core.typed/Val 1) nil
  169.  
  170. Ranges:
  171. x
  172. (U x y)
  173.  
  174.  
  175. in: (clojure.lang.RT/nth vec__2913 1 nil)
  176.  
  177.  
  178. Type Error (for_repl/core.clj:29:25) Polymorphic static method clojure.lang.RT/nth could not be applied to arguments:
  179. Polymorphic Variables:
  180. x
  181. y
  182.  
  183. Domains:
  184. (clojure.core.typed/I (U (Indexed x) (clojure.core.typed/I (Seqable x) Sequential)) (clojure.core.typed/CountRange 3)) (clojure.core.typed/Val 2) Any
  185. (U nil (Indexed x) (clojure.core.typed/I (Seqable x) Sequential)) clojure.core.typed/Int y
  186.  
  187. Arguments:
  188. Any (clojure.core.typed/Val 2) nil
  189.  
  190. Ranges:
  191. x
  192. (U x y)
  193.  
  194.  
  195. in: (clojure.lang.RT/nth vec__2913 2 nil)
  196.  
  197.  
  198. Type Error (for_repl/core.clj:29:32) Polymorphic static method clojure.lang.RT/nth could not be applied to arguments:
  199. Polymorphic Variables:
  200. x
  201. y
  202.  
  203. Domains:
  204. (clojure.core.typed/I (U (Indexed x) (clojure.core.typed/I (Seqable x) Sequential)) (clojure.core.typed/CountRange 4)) (clojure.core.typed/Val 3) Any
  205. (U nil (Indexed x) (clojure.core.typed/I (Seqable x) Sequential)) clojure.core.typed/Int y
  206.  
  207. Arguments:
  208. Any (clojure.core.typed/Val 3) nil
  209.  
  210. Ranges:
  211. x
  212. (U x y)
  213.  
  214.  
  215. in: (clojure.lang.RT/nth vec__2913 3 nil)
  216.  
  217.  
  218. Type Error (for_repl/core.clj:29:7) Polymorphic static method clojure.lang.RT/nth could not be applied to arguments:
  219. Polymorphic Variables:
  220. x
  221. y
  222.  
  223. Domains:
  224. (clojure.core.typed/I (U (Indexed x) (clojure.core.typed/I (Seqable x) Sequential)) (clojure.core.typed/CountRange 5)) (clojure.core.typed/Val 4) Any
  225. (U nil (Indexed x) (clojure.core.typed/I (Seqable x) Sequential)) clojure.core.typed/Int y
  226.  
  227. Arguments:
  228. Any (clojure.core.typed/Val 4) nil
  229.  
  230. Ranges:
  231. x
  232. (U x y)
  233.  
  234.  
  235. in: (clojure.lang.RT/nth vec__2913 4 nil)
  236.  
  237.  
  238. Type Error (for_repl/core.clj:29:43) Polymorphic static method clojure.lang.RT/nth could not be applied to arguments:
  239. Polymorphic Variables:
  240. x
  241. y
  242.  
  243. Domains:
  244. (clojure.core.typed/I (U (Indexed x) (clojure.core.typed/I (Seqable x) Sequential)) (clojure.core.typed/CountRange 6)) (clojure.core.typed/Val 5) Any
  245. (U nil (Indexed x) (clojure.core.typed/I (Seqable x) Sequential)) clojure.core.typed/Int y
  246.  
  247. Arguments:
  248. Any (clojure.core.typed/Val 5) nil
  249.  
  250. Ranges:
  251. x
  252. (U x y)
  253.  
  254.  
  255. in: (clojure.lang.RT/nth vec__2913 5 nil)
  256.  
  257.  
  258. Type Checker: Found 12 errors
  259. Found errors
  260. Subprocess failed
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!