Advertisement
Guest User

Untitled

a guest
Nov 10th, 2015
123
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Clojure 7.46 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: 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
RAW Paste Data Copied
Advertisement