Removed a bogus provide and two bogus tests.

(Which worked because the same functionality is part of `racket'.)

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)))

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)

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)))
 

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*