suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add base-env type for symbol<?

Browse Source
This commit is contained in:
Asumu Takikawa 2014-11-12 01:01:06 -05:00
parent 4c77742a14
commit 16678aef6a
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt
View File

@ -394,6 +394,7 @@
[string->uninterned-symbol (-String . -> . Sym)] [string->uninterned-symbol (-String . -> . Sym)]
[string->unreadable-symbol (-String . -> . Sym)] [string->unreadable-symbol (-String . -> . Sym)]
[gensym (->opt [(Un Sym -String)] Sym)] [gensym (->opt [(Un Sym -String)] Sym)]
[symbol<? (->* (list -Symbol -Symbol) -Symbol -Boolean)]
;; Section 4.7 (Regular Expressions) ;; Section 4.7 (Regular Expressions)
[regexp? (make-pred-ty -Regexp)] [regexp? (make-pred-ty -Regexp)]