Added types for parameters and parameterization operations.

original commit: 469f0a5314d1ff1348bb8fe3e4d4d45fda0387b9

collects/typed-scheme/base-env/base-env.rkt

@@ -457,6 +457,27 @@
 [current-preserved-thread-cell-values
  (cl->* (-> Univ) (-> Univ -Void))]
 
+
+;Section 10.3.3 (Parameters)
+
+;hidden parameter bindings
+[parameterization-key Sym]
+[extend-parameterization (-poly (a b) (-> Univ (-Param a b) a Univ))]
+
+[make-parameter (-poly (a b) (cl-> [(a) (-Param a a)]
+                                   [(b (a . -> . b)) (-Param a b)]))]
+[make-derived-parameter (-poly (a b c d) (-> (-Param a b) (-> c a) (-> b d) (-Param c d)))]
+[parameter? (make-pred-ty (-poly (a b) (-Param a b)))]
+[parameter-procedure=? (-poly (a b c d) (-> (-Param a b) (-Param c d) B))]
+
+[current-parameterization (-> -Parameterization)]
+[call-with-parameterization (-poly (a) (-> -Parameterization (-> a) a))]
+[parameterization? (make-pred-ty -Parameterization)]
+
+
+
+
+
 [future (-poly (A) ((-> A) . -> . (-future A)))]
 [touch (-poly (A) ((-future A) . -> . A))]
 
@@ -544,13 +565,7 @@
 [unsafe-struct-set! top-func]
 [unsafe-struct*-set! top-func]
 
-;; parameter stuff
-
-[parameterization-key Sym]
-[extend-parameterization (-poly (a b) (-> Univ (-Param a b) a Univ))]
 [continuation-mark-set-first (-> (-opt -Cont-Mark-Set) Univ Univ)]
-[make-parameter (-poly (a b) (cl-> [(a) (-Param a a)]
-                                   [(b (a . -> . b)) (-Param a b)]))]
 [current-directory (-Param -Pathlike -Path)]
 [current-command-line-arguments (-Param (-vec -String) (-vec -String))]
 

collects/typed-scheme/types/abbrev.rkt

@@ -209,6 +209,8 @@
 
 (define -Custodian (make-Base 'Custodian #'custodian? custodian? #'Custodian))
 
+(define -Parameterization (make-Base 'Parameterization #'parameterization? parameterization? #'Parameterization))
+