add char?

svn: r11838
2008-09-22 18:37:48 +00:00 · 2008-09-22 18:37:48 +00:00 · 091089f27d
commit 091089f27d
parent 88d44f9c5b
1 changed files with 1 additions and 0 deletions
--- a/collects/typed-scheme/private/base-env.ss
+++ b/collects/typed-scheme/private/base-env.ss
@ -130,6 +130,7 @@
     (eof-object? (make-pred-ty (-val eof)))
     [null (-val null)]
     (number? (make-pred-ty N))
+     [char? (make-pred-ty -Char)]
     (integer? (make-pred-ty -Integer))
     (boolean? (make-pred-ty B))
     (add1 (cl->*