From 5f2a62f37cd8d1923b4cdd4e1df1170529d6f00a Mon Sep 17 00:00:00 2001 From: Matthias Felleisen Date: Sat, 2 May 2009 15:25:15 +0000 Subject: [PATCH] svn: r14689 --- collects/lang/private/TODO | 41 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) create mode 100644 collects/lang/private/TODO diff --git a/collects/lang/private/TODO b/collects/lang/private/TODO new file mode 100644 index 0000000000..7f7f0cfc8b --- /dev/null +++ b/collects/lang/private/TODO @@ -0,0 +1,41 @@ +If we eliminate char from HtDP/I, we need to add re-think the following +functions: + +integer->char -- 1string version + +char->integer -- 1string version + +string->list -- explode + +list->string -- implode + +char-numeric? -- in a sense string->number is enough + (number? (string->number s)) + +char-alphabetic? -- + (andmap (lambda (c) + (or (string<=? "A" x "Z") (string<=? "a" x "z"))) + (string->list s)) + +char-whitespace? -- (andmap char-whitespace? s) + +char-upper-case? -- (string<=? "A" x "Z") + +char-lower-case? -- (string<=? "a" x "z") + +char-upcase string-upcase + +char-downcase string-downcase + +make-string : Nat Char -> String + Nat String1 -> String + +string : Char ... -> String + delete, string-append is enough + +string-ref : String Nat -> Char + ith + +NOTE: +substring consumes 2 or 3 arguments +