API tools faq
paste
Advertisement
Guest User

Untitled

a guest
Nov 10th, 2015
169
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Clojure 7.46 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: 3300.013384 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 756.46847 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 1983.529527 msecs
  17. Checked 2 namespaces  in 2757.886391 msecs
  18. Type Error (for_repl/core.clj:20:5) Type mismatch:
  19.  
  20. Expected:   (HMap :optional {:name String, :weight String} :complete? true)
  21.  
  22. Actual:     (HMap :optional {:name String, :weight String})
  23. in: (persistent! errors)
  24.  
  25.  
  26. Type Error (for_repl/core.clj:29:16) Polymorphic static method clojure.lang.RT/nth could not be applied to arguments:
  27. Polymorphic Variables:
  28.     x
  29.     y
  30.  
  31. Domains:
  32.     (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
  33.     (U nil (Indexed x) (clojure.core.typed/I (Seqable x) Sequential)) clojure.core.typed/Int y
  34.  
  35. Arguments:
  36.     Any (clojure.core.typed/Val 0) nil
  37.  
  38. Ranges:
  39.     x
  40.     (U x y)
  41.  
  42.  
  43. in: (clojure.lang.RT/nth vec__2912 0 nil)
  44.  
  45.  
  46. Type Error (for_repl/core.clj:29:7) Polymorphic static method clojure.lang.RT/nth could not be applied to arguments:
  47. Polymorphic Variables:
  48.     x
  49.     y
  50.  
  51. Domains:
  52.     (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
  53.     (U nil (Indexed x) (clojure.core.typed/I (Seqable x) Sequential)) clojure.core.typed/Int y
  54.  
  55. Arguments:
  56.     Any (clojure.core.typed/Val 1) nil
  57.  
  58. Ranges:
  59.     x
  60.     (U x y)
  61.  
  62.  
  63. in: (clojure.lang.RT/nth vec__2912 1 nil)
  64.  
  65.  
  66. Type Error (for_repl/core.clj:29:25) Polymorphic static method clojure.lang.RT/nth could not be applied to arguments:
  67. Polymorphic Variables:
  68.     x
  69.     y
  70.  
  71. Domains:
  72.     (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
  73.     (U nil (Indexed x) (clojure.core.typed/I (Seqable x) Sequential)) clojure.core.typed/Int y
  74.  
  75. Arguments:
  76.     Any (clojure.core.typed/Val 2) nil
  77.  
  78. Ranges:
  79.     x
  80.     (U x y)
  81.  
  82.  
  83. in: (clojure.lang.RT/nth vec__2912 2 nil)
  84.  
  85.  
  86. Type Error (for_repl/core.clj:29:32) Polymorphic static method clojure.lang.RT/nth could not be applied to arguments:
  87. Polymorphic Variables:
  88.     x
  89.     y
  90.  
  91. Domains:
  92.     (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
  93.     (U nil (Indexed x) (clojure.core.typed/I (Seqable x) Sequential)) clojure.core.typed/Int y
  94.  
  95. Arguments:
  96.     Any (clojure.core.typed/Val 3) nil
  97.  
  98. Ranges:
  99.     x
  100.     (U y x)
  101.  
  102.  
  103. in: (clojure.lang.RT/nth vec__2912 3 nil)
  104.  
  105.  
  106. Type Error (for_repl/core.clj:29:7) Polymorphic static method clojure.lang.RT/nth could not be applied to arguments:
  107. Polymorphic Variables:
  108.     x
  109.     y
  110.  
  111. Domains:
  112.     (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
  113.     (U nil (Indexed x) (clojure.core.typed/I (Seqable x) Sequential)) clojure.core.typed/Int y
  114.  
  115. Arguments:
  116.     Any (clojure.core.typed/Val 4) nil
  117.  
  118. Ranges:
  119.     x
  120.     (U x y)
  121.  
  122.  
  123. in: (clojure.lang.RT/nth vec__2912 4 nil)
  124.  
  125.  
  126. Type Error (for_repl/core.clj:29:43) Polymorphic static method clojure.lang.RT/nth could not be applied to arguments:
  127. Polymorphic Variables:
  128.     x
  129.     y
  130.  
  131. Domains:
  132.     (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
  133.     (U nil (Indexed x) (clojure.core.typed/I (Seqable x) Sequential)) clojure.core.typed/Int y
  134.  
  135. Arguments:
  136.     Any (clojure.core.typed/Val 5) nil
  137.  
  138. Ranges:
  139.     x
  140.     (U y x)
  141.  
  142.  
  143. in: (clojure.lang.RT/nth vec__2912 5 nil)
  144.  
  145.  
  146. Type Error (for_repl/core.clj:29:16) Polymorphic static method clojure.lang.RT/nth could not be applied to arguments:
  147. Polymorphic Variables:
  148.     x
  149.     y
  150.  
  151. Domains:
  152.     (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
  153.     (U nil (Indexed x) (clojure.core.typed/I (Seqable x) Sequential)) clojure.core.typed/Int y
  154.  
  155. Arguments:
  156.     Any (clojure.core.typed/Val 0) nil
  157.  
  158. Ranges:
  159.     x
  160.     (U x y)
  161.  
  162.  
  163. in: (clojure.lang.RT/nth vec__2913 0 nil)
  164.  
  165.  
  166. Type Error (for_repl/core.clj:29:7) Polymorphic static method clojure.lang.RT/nth could not be applied to arguments:
  167. Polymorphic Variables:
  168.     x
  169.     y
  170.  
  171. Domains:
  172.     (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
  173.     (U nil (Indexed x) (clojure.core.typed/I (Seqable x) Sequential)) clojure.core.typed/Int y
  174.  
  175. Arguments:
  176.     Any (clojure.core.typed/Val 1) nil
  177.  
  178. Ranges:
  179.     x
  180.     (U x y)
  181.  
  182.  
  183. in: (clojure.lang.RT/nth vec__2913 1 nil)
  184.  
  185.  
  186. Type Error (for_repl/core.clj:29:25) Polymorphic static method clojure.lang.RT/nth could not be applied to arguments:
  187. Polymorphic Variables:
  188.     x
  189.     y
  190.  
  191. Domains:
  192.     (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
  193.     (U nil (Indexed x) (clojure.core.typed/I (Seqable x) Sequential)) clojure.core.typed/Int y
  194.  
  195. Arguments:
  196.     Any (clojure.core.typed/Val 2) nil
  197.  
  198. Ranges:
  199.     x
  200.     (U x y)
  201.  
  202.  
  203. in: (clojure.lang.RT/nth vec__2913 2 nil)
  204.  
  205.  
  206. Type Error (for_repl/core.clj:29:32) Polymorphic static method clojure.lang.RT/nth could not be applied to arguments:
  207. Polymorphic Variables:
  208.     x
  209.     y
  210.  
  211. Domains:
  212.     (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
  213.     (U nil (Indexed x) (clojure.core.typed/I (Seqable x) Sequential)) clojure.core.typed/Int y
  214.  
  215. Arguments:
  216.     Any (clojure.core.typed/Val 3) nil
  217.  
  218. Ranges:
  219.     x
  220.     (U x y)
  221.  
  222.  
  223. in: (clojure.lang.RT/nth vec__2913 3 nil)
  224.  
  225.  
  226. Type Error (for_repl/core.clj:29:7) Polymorphic static method clojure.lang.RT/nth could not be applied to arguments:
  227. Polymorphic Variables:
  228.     x
  229.     y
  230.  
  231. Domains:
  232.     (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
  233.     (U nil (Indexed x) (clojure.core.typed/I (Seqable x) Sequential)) clojure.core.typed/Int y
  234.  
  235. Arguments:
  236.     Any (clojure.core.typed/Val 4) nil
  237.  
  238. Ranges:
  239.     x
  240.     (U x y)
  241.  
  242.  
  243. in: (clojure.lang.RT/nth vec__2913 4 nil)
  244.  
  245.  
  246. Type Error (for_repl/core.clj:29:43) Polymorphic static method clojure.lang.RT/nth could not be applied to arguments:
  247. Polymorphic Variables:
  248.     x
  249.     y
  250.  
  251. Domains:
  252.     (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
  253.     (U nil (Indexed x) (clojure.core.typed/I (Seqable x) Sequential)) clojure.core.typed/Int y
  254.  
  255. Arguments:
  256.     Any (clojure.core.typed/Val 5) nil
  257.  
  258. Ranges:
  259.     x
  260.     (U x y)
  261.  
  262.  
  263. in: (clojure.lang.RT/nth vec__2913 5 nil)
  264.  
  265.  
  266. Type Checker: Found 13 errors
  267. Found errors
  268. 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!