From 96fd22a7a37362d7eb58389755118ef249641e71 Mon Sep 17 00:00:00 2001 From: AlexKnauth Date: Thu, 24 Dec 2015 10:09:23 -0500 Subject: [PATCH] add type for flatten MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit fixes https://github.com/racket/typed-racket/issues/277 Can’t make it polymorphic, settle for `Any -> (Listof Any)` --- typed-racket-lib/typed-racket/base-env/base-env.rkt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/typed-racket-lib/typed-racket/base-env/base-env.rkt b/typed-racket-lib/typed-racket/base-env/base-env.rkt index ac4a1511..b90c7ac3 100644 --- a/typed-racket-lib/typed-racket/base-env/base-env.rkt +++ b/typed-racket-lib/typed-racket/base-env/base-env.rkt @@ -771,6 +771,8 @@ ((-lst b) b) . ->... .(-lst c)))] [append* (-poly (a) ((-lst (-lst a)) . -> . (-lst a)))] +[flatten + (Univ . -> . (-lst Univ))] [permutations (-poly (a) (-> (-lst a) (-lst (-lst a))))] [in-permutations (-poly (a) (-> (-lst a) (-seq (-lst a))))] [argmin (-poly (a) ((a . -> . -Real) (-lst a) . -> . a))]