plai typed update: use plai-typed/untyped to speed things up

jpolitz · jpolitz · commit 85e844bac942 · 2013-02-18T15:04:58.000-05:00
diff --git a/base/builtins/bool.rkt b/base/builtins/bool.rkt
@@ -1,4 +1,4 @@
-#lang plai-typed 
+#lang plai-typed/untyped
 
 (require "../python-core-syntax.rkt"
          "../util.rkt"
diff --git a/base/builtins/dict.rkt b/base/builtins/dict.rkt
@@ -1,4 +1,4 @@
-#lang plai-typed
+#lang plai-typed/untyped
 
 (require "../python-core-syntax.rkt")
 (require "../util.rkt"
diff --git a/base/builtins/file-util.rkt b/base/builtins/file-util.rkt
@@ -14,4 +14,4 @@
 (define (close-file port)
   (if (output-port? port)
       (close-output-port port)
-      (close-input-port port)))
+      (close-input-port port)))
diff --git a/base/builtins/file.rkt b/base/builtins/file.rkt
@@ -1,4 +1,4 @@
-#lang plai-typed
+#lang plai-typed/untyped
 
 (require "../python-core-syntax.rkt")
 (require "../util.rkt"
diff --git a/base/builtins/list.rkt b/base/builtins/list.rkt
@@ -1,4 +1,4 @@
-#lang plai-typed
+#lang plai-typed/untyped
 
 (require "../python-core-syntax.rkt"
          "../util.rkt"
diff --git a/base/builtins/method.rkt b/base/builtins/method.rkt
@@ -1,4 +1,4 @@
-#lang plai-typed
+#lang plai-typed/untyped
 
 ;; method - the bound method object, includes classmethod, staticmethod and super.
 
diff --git a/base/builtins/none.rkt b/base/builtins/none.rkt
@@ -1,4 +1,4 @@
-#lang plai-typed
+#lang plai-typed/untyped
 
 (require "../python-core-syntax.rkt"
          "../util.rkt"
diff --git a/base/builtins/num.rkt b/base/builtins/num.rkt
@@ -1,4 +1,4 @@
-#lang plai-typed
+#lang plai-typed/untyped
 
 (require "../python-core-syntax.rkt")
 (require "../util.rkt"
diff --git a/base/builtins/object.rkt b/base/builtins/object.rkt
@@ -1,4 +1,4 @@
-#lang plai-typed
+#lang plai-typed/untyped
 
 ;; object - the base-class of everything
 (require "../python-core-syntax.rkt" 
diff --git a/base/builtins/set.rkt b/base/builtins/set.rkt
@@ -1,4 +1,4 @@
-#lang plai-typed
+#lang plai-typed/untyped
 
 (require "../python-core-syntax.rkt")
 (require "../util.rkt")
diff --git a/base/builtins/str.rkt b/base/builtins/str.rkt
@@ -1,4 +1,4 @@
-#lang plai-typed
+#lang plai-typed/untyped
 
 (require "../python-core-syntax.rkt"
          "../util.rkt"
diff --git a/base/builtins/tuple.rkt b/base/builtins/tuple.rkt
@@ -1,4 +1,4 @@
-#lang plai-typed
+#lang plai-typed/untyped
 
 (require "../python-core-syntax.rkt")
 (require "../util.rkt"
diff --git a/base/builtins/type.rkt b/base/builtins/type.rkt
@@ -1,4 +1,4 @@
-#lang plai-typed
+#lang plai-typed/untyped
 
 ;; type - the metaclass of everything
 (require "../python-core-syntax.rkt" 
diff --git a/base/python-core-syntax.rkt b/base/python-core-syntax.rkt
@@ -1,4 +1,4 @@
-#lang plai-typed
+#lang plai-typed/untyped
 
 #|
 
diff --git a/base/python-desugar.rkt b/base/python-desugar.rkt
@@ -1,4 +1,4 @@
-#lang plai-typed
+#lang plai-typed/untyped
 
 (require "python-lexical-syntax.rkt"
          "python-core-syntax.rkt"
diff --git a/base/python-interp.rkt b/base/python-interp.rkt
@@ -1,4 +1,4 @@
-#lang plai-typed
+#lang plai-typed/untyped
 
 (require "python-core-syntax.rkt"
          "python-primitives.rkt"
diff --git a/base/python-lexical-syntax.rkt b/base/python-lexical-syntax.rkt
@@ -1,4 +1,4 @@
-#lang plai-typed
+#lang plai-typed/untyped
 
 (define-type LocalOrGlobal
   [Locally-scoped]
diff --git a/base/python-lib-bindings.rkt b/base/python-lib-bindings.rkt
@@ -1,4 +1,4 @@
-#lang plai-typed
+#lang plai-typed/untyped
 
 (require "python-core-syntax.rkt"
          "builtins/num.rkt"
diff --git a/base/python-lib.rkt b/base/python-lib.rkt
@@ -1,4 +1,4 @@
-#lang plai-typed
+#lang plai-typed/untyped
 
 (require "python-core-syntax.rkt")
 (require "builtins/num.rkt"
diff --git a/base/python-phase1.rkt b/base/python-phase1.rkt
@@ -1,4 +1,4 @@
-#lang plai-typed
+#lang plai-typed/untyped
 
 (require "python-syntax.rkt"
          "python-core-syntax.rkt"
diff --git a/base/python-primitives.rkt b/base/python-primitives.rkt
@@ -1,4 +1,4 @@
-#lang plai-typed
+#lang plai-typed/untyped
 
 (require "python-core-syntax.rkt"
          "util.rkt"
diff --git a/base/python-syntax-operations.rkt b/base/python-syntax-operations.rkt
@@ -1,4 +1,4 @@
-#lang plai-typed
+#lang plai-typed/untyped
 
 (require "python-syntax.rkt"
          "python-core-syntax.rkt"
diff --git a/base/python-syntax.rkt b/base/python-syntax.rkt
@@ -1,4 +1,4 @@
-#lang plai-typed
+#lang plai-typed/untyped
 
 (define-type PyExpr
   ; control structures
diff --git a/base/util.rkt b/base/util.rkt
@@ -1,4 +1,4 @@
-#lang plai-typed 
+#lang plai-typed/untyped
 
 (require "python-core-syntax.rkt")
 
diff --git a/plai-typed-18Feb2013.plt b/plai-typed-18Feb2013.plt

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-#lang plai-typed`
	`1`	`+#lang plai-typed/untyped`
`2`	`2`
`3`	`3`	`(require "../python-core-syntax.rkt"`
`4`	`4`	`"../util.rkt"`