From 1385c8cc82671806149ef43e140d3fa51124b087 Mon Sep 17 00:00:00 2001 From: Marc O'Morain Date: Fri, 19 Jun 2015 11:15:12 +0100 Subject: [PATCH] Sort never returns nil --- .../src/main/clojure/clojure/core/typed/base_env_common.clj | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/module-check/src/main/clojure/clojure/core/typed/base_env_common.clj b/module-check/src/main/clojure/clojure/core/typed/base_env_common.clj index 305d6c001..b51fd77ea 100644 --- a/module-check/src/main/clojure/clojure/core/typed/base_env_common.clj +++ b/module-check/src/main/clojure/clojure/core/typed/base_env_common.clj @@ -222,8 +222,8 @@ clojure.core/distinct? [Any Any * -> Boolean] clojure.core/compare [Any Any -> Number] clojure.core/sort (All [x] - (IFn [(U nil (Seqable x)) -> (U nil (ASeq x))] - [[x x -> AnyInteger] (U nil (Seqable x)) -> (U nil (ASeq x))])) + (IFn [(Option (Seqable x)) -> (ASeq x)] + [[x x -> AnyInteger] (Option (Seqable x)) -> (ASeq x)])) clojure.core/shuffle (All [x] (IFn [(I (Collection x) (Seqable x)) -> (Vec x)] [(Collection x) -> (Vec x)])) @@ -294,7 +294,7 @@ #_clojure.core/chunk-cons #_(All [x] [(clojure.lang.IChunk x) (Option (Seqable x)) -> (Option (Seqable x))]) - #_clojure.core/chunk-append + #_clojure.core/chunk-append #_(All [x] [(clojure.lang.ChunkBuffer x) x -> Any]) #_clojure.core/chunk