From 2eb0a9467723ef0c00b6f2e14ee3a7ec9e61b6bd Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@barzilay.org>
Date: Mon, 6 Jun 2011 10:02:48 -0400
Subject: [PATCH] Removed a bogus provide and two bogus tests.

(Which worked because the same functionality is part of `racket'.)
---
 collects/tests/unstable/function.rkt          | 15 ---------------
 collects/typed-scheme/types/abbrev.rkt        |  1 +
 collects/typed-scheme/types/numeric-tower.rkt |  1 +
 collects/unstable/function.rkt                |  4 ++--
 4 files changed, 4 insertions(+), 17 deletions(-)

diff --git a/collects/tests/unstable/function.rkt b/collects/tests/unstable/function.rkt
index d712144486..0765894f27 100644
--- a/collects/tests/unstable/function.rkt
+++ b/collects/tests/unstable/function.rkt
@@ -14,11 +14,6 @@
          (let* ([sym (gensym)])
            (check-eq? (identity sym) sym))))
 
-     (test-suite "const"
-       (test-case "unique symbol"
-         (let* ([sym (gensym)])
-           (check-eq? ((const sym) 'x #:y 'z) sym))))
-
      (test-suite "thunk"
        (test-case "unique symbol"
          (let* ([count 0]
@@ -29,16 +24,6 @@
 
    (test-suite "Higher Order Predicates"
 
-     (test-suite "negate"
-       (test-case "integer?"
-         (check-false ((negate integer?) 5)))
-       (test-case "not integer?"
-         (check-true ((negate integer?) 1/5)))
-       (test-case "non-boolean"
-         (check-false ((negate symbol->string) 'sym)))
-       (test-case "binary"
-         (check-false ((negate +) 1 2 3))))
-
      (test-suite "conjoin"
        (test-case "no functions"
          (check-true ((conjoin) 'x #:y 'z)))
diff --git a/collects/typed-scheme/types/abbrev.rkt b/collects/typed-scheme/types/abbrev.rkt
index fe6d84bbf1..ea10eec7d4 100644
--- a/collects/typed-scheme/types/abbrev.rkt
+++ b/collects/typed-scheme/types/abbrev.rkt
@@ -7,6 +7,7 @@
          (utils tc-utils)
          racket/list
          racket/match
+         racket/function
          unstable/function
          (except-in racket/contract/base ->* ->)
          (prefix-in c: racket/contract/base)
diff --git a/collects/typed-scheme/types/numeric-tower.rkt b/collects/typed-scheme/types/numeric-tower.rkt
index 3841af714b..31111e8596 100644
--- a/collects/typed-scheme/types/numeric-tower.rkt
+++ b/collects/typed-scheme/types/numeric-tower.rkt
@@ -4,6 +4,7 @@
 
 (require (types abbrev numeric-predicates)
          (rep type-rep)
+         racket/function
          unstable/function
          (for-template racket/base racket/contract racket/flonum (types numeric-predicates)))
 
diff --git a/collects/unstable/function.rkt b/collects/unstable/function.rkt
index 50ee608572..70eac58361 100644
--- a/collects/unstable/function.rkt
+++ b/collects/unstable/function.rkt
@@ -1,5 +1,5 @@
 #lang racket/base
-(require racket/dict racket/match racket/function
+(require racket/dict racket/match
          (for-syntax racket/base racket/list))
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
@@ -367,7 +367,7 @@
  ;; functions
  identity
  thunk
- negate conjoin disjoin
+ conjoin disjoin
  curryn currynr papply papplyr call
  ;; macros
  eta eta*