From 085b36180b54db82faaf9cb65cc3f47cbe0aeefa Mon Sep 17 00:00:00 2001
From: Eric Dobson <eric.n.dobson@gmail.com>
Date: Sun, 1 Jun 2014 10:14:37 -0700
Subject: [PATCH] Fix TR unit tests.

Make new tests actually run as part of the unit tests.
Make them not broken.
Fix broken package dependencies.

original commit: 1d64e37c3b083a65db67e79865c09d24b4316855
---
 pkgs/typed-racket-pkgs/typed-racket-test/info.rkt               | 1 +
 .../tests/typed-racket/unit-tests/all-tests.rkt                 | 1 +
 .../tests/typed-racket/unit-tests/init-env-tests.rkt            | 2 +-
 3 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/info.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/info.rkt
index 7c1873f9..6b969a1d 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-test/info.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/info.rkt
@@ -12,6 +12,7 @@
                      "redex-lib"
                      "htdp-lib"
                      "sandbox-lib"
+                     "pconvert-lib"
                      "unstable-flonum-lib"
                      "unstable"
                      "scribble-lib"))
diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/all-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/all-tests.rkt
index 141591fa..d3409d85 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/all-tests.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/all-tests.rkt
@@ -37,5 +37,6 @@
   "class-tests.rkt"
   "class-util-tests.rkt"
   "check-below-tests.rkt"
+  "init-env-tests.rkt"
   "filter-tests.rkt"
   "rep-tests.rkt")
diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/init-env-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/init-env-tests.rkt
index 0b78b5e8..3d96f246 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/init-env-tests.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/init-env-tests.rkt
@@ -32,6 +32,6 @@
         '(->acc (list (-lst -String)) -String `(,-car)))
       (check-equal?
         (convert (-mu x (-lst* Univ (-box x))))
-        '(make-Mu 'x (-lst* Univ (make-Box (make-F 'x)))))
+        '(make-Mu 'x (make-Pair Univ (make-Pair (make-Box (make-F 'x)) -Null))))
     )
   ))