From db8dddad38e0def02b71bf1a0ff87b9066e13d58 Mon Sep 17 00:00:00 2001 From: Carl Eastlund Date: Wed, 17 Jun 2009 21:08:35 +0000 Subject: [PATCH] Added types for: - keyword? - string->keyword - keyword->string - char-upcase - char-downcase - char-titlecase - make-rectangular - make-polar svn: r15200 original commit: f110157ac27b3dd3bac54dbed99386ae2ba66631 --- collects/typed-scheme/private/base-env.ss | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/collects/typed-scheme/private/base-env.ss b/collects/typed-scheme/private/base-env.ss index 8db019f0..d1fce6eb 100644 --- a/collects/typed-scheme/private/base-env.ss +++ b/collects/typed-scheme/private/base-env.ss @@ -99,6 +99,7 @@ [string? (make-pred-ty -String)] [string (->* '() -Char -String)] [symbol? (make-pred-ty Sym)] +[keyword? (make-pred-ty -Keyword)] [list? (make-pred-ty (-lst Univ))] [list (-poly (a) (->* '() a (-lst a)))] [procedure? (make-pred-ty top-func)] @@ -220,6 +221,10 @@ [string-downcase (-> -String -String)] [string-titlecase (-> -String -String)] [string-foldcase (-> -String -String)] +[char-upcase (-> -Char -Char)] +[char-downcase (-> -Char -Char)] +[char-titlecase (-> -Char -Char)] +[char-foldcase (-> -Char -Char)] [string-normalize-nfd (-> -String -String)] [string-normalize-nfkd (-> -String -String)] @@ -390,6 +395,8 @@ [floor (-> N N)] [ceiling (-> N N)] [truncate (-> N N)] +[make-rectangular (N N . -> . N)] +[make-polar (N N . -> . N)] [real-part (N . -> . N)] [imag-part (N . -> . N)] [magnitude (N . -> . N)] @@ -429,6 +436,8 @@ [file-exists? (-Pathlike . -> . B)] [string->symbol (-String . -> . Sym)] [symbol->string (Sym . -> . -String)] +[string->keyword (-String . -> . -Keyword)] +[keyword->string (-Keyword . -> . -String)] [vector-length (-poly (a) ((-vec a) . -> . -Integer))] [call-with-input-file (-poly (a) (-String (-Input-Port . -> . a) #:mode (Un (-val 'binary) (-val 'text)) #f . ->key . a))]