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

Add base-env type for symbol<?

Browse Source 
original commit: 16678aef6a00aceafce699afc2010a7b93bbcd2a
This commit is contained in:
Asumu Takikawa 2014-11-12 01:01:06 -05:00
parent 33978615f1
commit 24d43bffc5
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->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)]