From a8af94e89252085c8b7423cf245f0b156c9662a2 Mon Sep 17 00:00:00 2001
From: Eric Dobson <eric.n.dobson@gmail.com>
Date: Thu, 23 Jun 2011 12:49:15 -0400
Subject: [PATCH] Added types for dynamic module access operations.

original commit: 1a44a82868f662c067fe3823d3be852fa03da977
---
 collects/typed-scheme/base-env/base-env.rkt | 54 +++++++++++++++++++++
 1 file changed, 54 insertions(+)

diff --git a/collects/typed-scheme/base-env/base-env.rkt b/collects/typed-scheme/base-env/base-env.rkt
index a4198951..9ebcdfff 100644
--- a/collects/typed-scheme/base-env/base-env.rkt
+++ b/collects/typed-scheme/base-env/base-env.rkt
@@ -1643,6 +1643,60 @@
  (-> -Compiled-Module-Expression
      (-opt (make-HeterogenousVector (list -Module-Path -Symbol Univ))))]
 
+;Section 13.4.3
+[dynamic-require
+ (let ((mod (Un -Module-Path -Resolved-Module-Path -Module-Path-Index)))
+  (-poly (a)
+   (cl->* (-> mod (Un (-val #f) (-val 0) -Void) -Void)
+          (-> mod (Un (-val #f) (-val 0) -Void) (-> a) (Un -Void a))
+          (->opt mod Sym [(-> Univ)] ManyUniv))))]
+
+
+[dynamic-require-for-syntax
+ (let ((mod (Un -Module-Path -Resolved-Module-Path -Module-Path-Index)))
+  (-poly (a)
+   (cl->* (-> mod (-val #f) -Void)
+          (-> mod (-val #f) (-> a) (Un -Void a))
+          (->opt mod Sym [(-> Univ)] ManyUniv))))]
+
+[module->language-info
+ (->opt (Un -Module-Path -Path -Resolved-Module-Path) [Univ] (-opt (make-HeterogenousVector (list -Module-Path -Symbol Univ))))]
+
+
+[module->imports (-> -Compiled-Module-Expression
+                             (-lst (-pair (-opt -Integer)
+                                          (-lst -Module-Path-Index))))]
+[module->exports
+ (-> -Compiled-Module-Expression
+     (-values
+      (list
+       (-lst (-pair (-opt -Integer)
+                    (-lst (-pair -Symbol
+                                 (-pair
+                                  (-lst
+                                   (Un -Module-Path-Index
+                                       (-pair -Module-Path-Index
+                                              (-pair (-opt -Integer)
+                                                     (-pair -Symbol
+                                                            (-pair (-opt -Integer)
+                                                                   (-val null)))))))
+                                  (-val null))))))
+       (-lst (-pair (-opt -Integer)
+                    (-lst (-pair -Symbol
+                                 (-pair
+                                  (-lst
+                                   (Un -Module-Path-Index
+                                       (-pair -Module-Path-Index
+                                              (-pair (-opt -Integer)
+                                                     (-pair -Symbol
+                                                            (-pair (-opt -Integer)
+                                                                   (-val null)))))))
+                                  (-val null)))))))))]
+
+
+
+
+
 [compose (-poly (a b c) (-> (-> b c) (-> a b) (-> a c)))]