add char?

svn: r11838 original commit: 091089f27d032478d745283e897036d8974ec2d5
2008-09-22 18:37:48 +00:00 · 2008-09-22 18:37:48 +00:00 · 86b8ec148b
commit 86b8ec148b
parent d417ac6a55
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->*