From 122aed89700b80eb9c9acde8750175cc21eda6b4 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Wed, 22 Jun 2011 14:31:31 -0400 Subject: [PATCH] Add negate (racket/function) to TR --- collects/tests/typed-scheme/succeed/function.rkt | 3 +++ collects/typed-scheme/base-env/base-env.rkt | 2 ++ 2 files changed, 5 insertions(+) diff --git a/collects/tests/typed-scheme/succeed/function.rkt b/collects/tests/typed-scheme/succeed/function.rkt index ff4ed53d96..2c89a26be5 100644 --- a/collects/tests/typed-scheme/succeed/function.rkt +++ b/collects/tests/typed-scheme/succeed/function.rkt @@ -7,4 +7,7 @@ ((const 'foo) 1 2 3) +(filter (negate symbol?) '(1 a 2 b 3 c)) +(map (negate equal?) '(1 2 3) '(1 1 1)) + ((curry (lambda (x y) (cons x y)) 5) '()) diff --git a/collects/typed-scheme/base-env/base-env.rkt b/collects/typed-scheme/base-env/base-env.rkt index abaf8689ab..7ab25b4f86 100644 --- a/collects/typed-scheme/base-env/base-env.rkt +++ b/collects/typed-scheme/base-env/base-env.rkt @@ -1354,6 +1354,8 @@ ;; scheme/function [identity (-poly (a) (-> a a))] [const (-poly (a) (-> a (->* '() Univ a)))] +[negate (-polydots (b) (-> ((list) [b b] . ->... . Univ) + ((list) [b b] . ->... . -Boolean)))] (primitive? (-> Univ B)) (primitive-closure? (-> Univ B))