Add base-env type for symbol<?

racket · Nov 12, 2014 · 16678ae · 16678ae
1 parent 4c77742
commit 16678ae
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt
@@ -394,6 +394,7 @@
 [string->uninterned-symbol (-String . -> . Sym)]
 [string->unreadable-symbol (-String . -> . Sym)]
 [gensym (->opt [(Un Sym -String)] Sym)]
+[symbol<? (->* (list -Symbol -Symbol) -Symbol -Boolean)]
 
 ;; Section 4.7 (Regular Expressions)
 [regexp? (make-pred-ty -Regexp)]