From a9bff729597d7ad6116611de029cb8743bdbdc3a Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 8 Jun 2009 15:54:05 +0000 Subject: [PATCH] add split-at and append* svn: r15119 original commit: 513987519940efd23a801dacf8ba35364758228d --- collects/typed-scheme/private/base-env.ss | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/collects/typed-scheme/private/base-env.ss b/collects/typed-scheme/private/base-env.ss index c70355ae..d190584a 100644 --- a/collects/typed-scheme/private/base-env.ss +++ b/collects/typed-scheme/private/base-env.ss @@ -584,6 +584,10 @@ [append-map (-polydots (c a b) ((list ((list a) (b b) . ->... . (-lst c)) (-lst a)) ((-lst b) b) . ->... .(-lst c)))] +[split-at + (-poly (a) ((list (-lst a)) -Integer . ->* . (-values (list (-lst a) (-lst a)))))] +[append* + (-poly (a) ((-lst (-lst a)) . -> . (-lst a)))] ;; scheme/tcp [tcp-listener? (make-pred-ty -TCP-Listener)]