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

Add type for xor

Browse Source
This commit is contained in:
Asumu Takikawa 2012-12-10 15:44:46 -05:00
parent 77e687579a
commit 2bc1528630
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-racket/base-env/base-env.rkt
View File

@ -250,7 +250,7 @@
[boolean=? (B B . -> . B)] [boolean=? (B B . -> . B)]
[symbol=? (Sym Sym . -> . B)] [symbol=? (Sym Sym . -> . B)]
[false? (make-pred-ty (-val #f))] [false? (make-pred-ty (-val #f))]
[xor (-> Univ Univ Univ)]