Get things to compile

Author: jackfirth

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

@@ -34,22 +34,55 @@ the typed racket language.
                      def-redirect
                      define-for*-variants with-handlers: with-handlers*: define-for/acc:-variants
                      base-for/flvector: base-for/vector -define -do -let
-                     -let* -let*-values -let-values -let/cc -let/ec -letrec -letrec-values)
+                     -let* -let*-values -let-values -let/cc -let/ec -letrec -letrec-values
+                     for:
+                     for/and:
+                     for/first:
+                     for/flvector:
+                     for/extflvector:
+                     for/fold:
+                     for/foldr:
+                     for/hash:
+                     for/hasheq:
+                     for/hasheqv:
+                     for/hashalw:
+                     for/last:
+                     for/list:
+                     for/lists:
+                     for/set:
+                     for/or:
+                     for/product:
+                     for/sum:
+                     for/vector:
+                     for/and:
+                     for*/first:
+                     for*/flvector:
+                     for*/extflvector:
+                     for*/fold:
+                     for*/foldr:
+                     for*/hash:
+                     for*/hasheq:
+                     for*/hasheqv:
+                     for*/hashalw:
+                     for*/last:
+                     for*/list:
+                     for*/lists:
+                     for*/set:
+                     for*/or:
+                     for*/product:
+                     for*/sum:
+                     for*/vector:)
          (all-from-out "top-interaction.rkt")
          (except-out (all-from-out "prims-lambda.rkt") -lambda)
          (all-from-out (submod "prims-contract.rkt" forms))
-         define-type-alias
          define-new-subtype
-         define-typed-struct
-         define-typed-struct/exec
          ann inst row-inst
          :
-         (rename-out [define-typed-struct define-struct:]
-                     [define-typed-struct define-struct]
+         (rename-out [define-typed-struct define-struct]
+                     [define-type-alias define-type]
                      [-lambda lambda]
                      [-lambda λ]
                      [-struct struct]
-                     [-struct struct:]
                      [-define define]
                      [-let let]
                      [-let* let*]
@@ -102,10 +135,8 @@ the typed racket language.
                      [for/set: for/set]
                      [for*/set: for*/set]
                      [-do do]
-                     [-do do:]
                      [with-handlers: with-handlers]
                      [with-handlers*: with-handlers*]
-                     [define-typed-struct/exec define-struct/exec:]
                      [define-typed-struct/exec define-struct/exec]))
 
 (require "colon.rkt"

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

@@ -23,8 +23,7 @@
                     require-typed-signature)
          typed-racket/base-env/base-types
          (except-in typed-racket/base-env/base-types-extra Distinction Unit))
-(provide define-type
-         (all-from-out typed-racket/base-env/prims)
+(provide (all-from-out typed-racket/base-env/prims)
          (all-from-out typed-racket/base-env/base-types)
          (all-from-out typed-racket/base-env/base-types-extra)
          assert defined? with-type for for*
@@ -80,6 +79,7 @@
          Pair)
 
 
+(define-deprecated-alias define-type-alias define-type)
 (define-deprecated-alias case-lambda: case-lambda)
 (define-deprecated-alias struct: struct)
 (define-deprecated-alias define-struct: define-struct)
@@ -104,7 +104,7 @@
 (define-deprecated-alias for/product: for/product)
 (define-deprecated-alias for/sum: for/sum)
 (define-deprecated-alias for/vector: for/vector)
-(define-deprecated-alias for/and: for/and)
+(define-deprecated-alias for*/and: for/and)
 (define-deprecated-alias for*/first: for*/first)
 (define-deprecated-alias for*/flvector: for*/flvector)
 (define-deprecated-alias for*/extflvector: for*/extflvector)
@@ -123,8 +123,6 @@
 (define-deprecated-alias for*/sum: for*/sum)
 (define-deprecated-alias for*/vector: for*/vector)
 (define-deprecated-alias do: do)
-(define-deprecated-alias define-type-alias define-type)
-(define-deprecated-alias define-typed-struct define-struct)
 (define-deprecated-alias Un U)
 (define-deprecated-alias mu Rec)
 (define-deprecated-alias Tuple List)