From 2bc15286300c93542632f296140ed606819fbd88 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` --- 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 397893ef85..626b7d78b9 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)]