From 6639ac8f4c4d9c87d6be0ae0aa2dcb8136b03fe3 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Mon, 10 Dec 2012 15:44:46 -0500 Subject: [PATCH] Add type for `xor` original commit: 2bc15286300c93542632f296140ed606819fbd88 --- collects/typed-racket/base-env/base-env.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-racket/base-env/base-env.rkt b/collects/typed-racket/base-env/base-env.rkt index 397893ef..626b7d78 100644 --- a/collects/typed-racket/base-env/base-env.rkt +++ b/collects/typed-racket/base-env/base-env.rkt @@ -250,7 +250,7 @@ [boolean=? (B B . -> . B)] [symbol=? (Sym Sym . -> . B)] [false? (make-pred-ty (-val #f))] - +[xor (-> Univ Univ Univ)]