From e19b53fd9f040e78babebc64325fb96b62a061c6 Mon Sep 17 00:00:00 2001
From: Jack Firth <jackhfirth@gmail.com>
Date: Sat, 1 Jul 2017 15:44:05 -0700
Subject: [PATCH] Remove typed/rackunit references to check-around (#568)

* Remove typed/rackunit references to check-around

This is an internal implementation detail of rackunit. The `current-check-around` parameter is set to `check-around` by default, so there's no need to explicitly set it in test-begin.

* Bump version

* Remove check-around from type environment
---
 typed-racket-more/info.rkt                        | 2 +-
 typed-racket-more/typed/rackunit/main.rkt         | 6 +-----
 typed-racket-more/typed/rackunit/type-env-ext.rkt | 4 +---
 3 files changed, 3 insertions(+), 9 deletions(-)

diff --git a/typed-racket-more/info.rkt b/typed-racket-more/info.rkt
index 2ddc6c95..27376b7f 100644
--- a/typed-racket-more/info.rkt
+++ b/typed-racket-more/info.rkt
@@ -22,4 +22,4 @@
 
 (define pkg-authors '(samth stamourv))
 
-(define version "1.8")
+(define version "1.9")
diff --git a/typed-racket-more/typed/rackunit/main.rkt b/typed-racket-more/typed/rackunit/main.rkt
index 0d4fdb94..671d37d3 100644
--- a/typed-racket-more/typed/rackunit/main.rkt
+++ b/typed-racket-more/typed/rackunit/main.rkt
@@ -66,8 +66,6 @@
 
 (require/typed rackunit/log
   [test-log! (Any -> Any)])
-(require/typed rackunit/private/check
-  [check-around (All (A) ((-> A) -> A))])
 
 ; 3.2.1
 (require-typed-struct check-info
@@ -107,9 +105,7 @@
                            (λ ([e : exn:fail])
                              (test-log! #f)
                              (raise e))])
-          (parameterize
-              ([current-check-handler raise]
-               [current-check-around  check-around])
+          (parameterize ([current-check-handler raise])
             (void)
             expr ...)))))]
     [_
diff --git a/typed-racket-more/typed/rackunit/type-env-ext.rkt b/typed-racket-more/typed/rackunit/type-env-ext.rkt
index 32b6409b..30cdd610 100644
--- a/typed-racket-more/typed/rackunit/type-env-ext.rkt
+++ b/typed-racket-more/typed/rackunit/type-env-ext.rkt
@@ -1,7 +1,7 @@
 #lang racket/base
 
 (require typed-racket/utils/utils
-         (prefix-in ru: (combine-in rackunit rackunit/private/test-case rackunit/private/check))
+         (prefix-in ru: rackunit)
          (for-syntax
           racket/base syntax/parse
           (utils tc-utils)
@@ -11,8 +11,6 @@
 
 (define-for-syntax unit-env
   (make-env
-   [ru:check-around
-    (-poly (a) (-> (-> a) a))]
    [ru:current-test-case-around
     (-poly (a) (-> (-> a) a))]))