Advertisement
Guest User

Untitled

a guest
Nov 10th, 2015
154
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 7.24 KB | None
  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
RAW Paste Data Copied
Advertisement