refactor slightly

Author: AlexKnauth

typed-racket-lib/typed-racket/base-env/base-types.rkt

@@ -171,7 +171,7 @@
 [HashTable (-poly (a b) (-HT a b))]
 [Promise (-poly (a) (-Promise a))]
 [Pair (-poly (a b) (-pair a b))]
-[Boxof (-poly (a) (make-Box a))]
+[Boxof (-poly (a) (-box a))]
 [Weak-Boxof (-poly (a) (-weak-box a))]
 [Channelof (-poly (a) (make-Channel a))]
 [Async-Channelof (-poly (a) (make-Async-Channel a))]

typed-racket-lib/typed-racket/types/abbrev.rkt

@@ -54,7 +54,7 @@
 (define -App make-App)
 (define -mpair make-MPair)
 (define (-Param t1 [t2 t1]) (make-Param t1 t2))
-(define -box make-Box)
+(define (-box t) (make-Box t))
 (define -channel make-Channel)
 (define -async-channel make-Async-Channel)
 (define -thread-cell make-ThreadCell)
@@ -167,7 +167,7 @@
   (-mu e
        (Un -Null -Boolean -Symbol -String -Keyword -Char -Number
            (make-Vector (-Syntax e))
-           (make-Box (-Syntax e))
+           (-box (-Syntax e))
            (make-Listof (-Syntax e))
            (-pair (-Syntax e) (-Syntax e)))))
 (define/decl Any-Syntax (-Syntax In-Syntax))
@@ -177,7 +177,7 @@
            -Number -Boolean -Symbol -String -Keyword -Char
            (-pair sexp sexp)
            (make-Vector sexp)
-           (make-Box sexp)
+           (-box sexp)
            t)))
 (define/decl -Flat
   (-mu flat