Permalink
Browse files

experiment: what happens if we try no-check?

  • Loading branch information...
1 parent 657d74e commit 1ba7461d5904bb73bf0edcfcb9b4ed9c71a44ab1 @dyoo committed Sep 28, 2011
@@ -1,4 +1,4 @@
-#lang typed/racket/base
+#lang typed/racket/base/no-check
(require "arity-structs.rkt"
@@ -1,4 +1,4 @@
-#lang typed/racket/base
+#lang typed/racket/base/no-check
(provide (all-defined-out))
@@ -1,4 +1,4 @@
-#lang typed/racket/base
+#lang typed/racket/base/no-check
(require "arity-structs.rkt"
"expression-structs.rkt"
"lexical-structs.rkt"
@@ -1,4 +1,4 @@
-#lang typed/racket/base
+#lang typed/racket/base/no-check
(provide (all-defined-out))
View
@@ -1,4 +1,4 @@
-#lang typed/racket/base
+#lang typed/racket/base/no-check
(require "arity-structs.rkt"
"expression-structs.rkt"
@@ -1,4 +1,4 @@
-#lang typed/racket/base
+#lang typed/racket/base/no-check
(require "lexical-structs.rkt")
View
@@ -1,4 +1,4 @@
-#lang typed/racket/base
+#lang typed/racket/base/no-check
(provide (all-defined-out))
(require "expression-structs.rkt"
@@ -1,4 +1,4 @@
-#lang typed/racket/base
+#lang typed/racket/base/no-check
(provide (all-defined-out))
View
@@ -1,4 +1,4 @@
-#lang typed/racket/base
+#lang typed/racket/base/no-check
(require racket/list
"lexical-structs.rkt"
@@ -1,4 +1,4 @@
-#lang typed/racket/base
+#lang typed/racket/base/no-check
(provide (all-defined-out))
View
@@ -1,4 +1,4 @@
-#lang typed/racket/base
+#lang typed/racket/base/no-check
(require "expression-structs.rkt"
"il-structs.rkt"
"lexical-structs.rkt"
View
@@ -1,4 +1,4 @@
-#lang typed/racket/base
+#lang typed/racket/base/no-check
(require racket/list)
(provide list-union list-difference list-intersection unique/eq? unique/equal?)
@@ -1,4 +1,4 @@
-#lang typed/racket/base
+#lang typed/racket/base/no-check
(require "assemble-structs.rkt"
"assemble-helpers.rkt"
@@ -1,4 +1,4 @@
-#lang typed/racket/base
+#lang typed/racket/base/no-check
(require "../compiler/il-structs.rkt"
"../compiler/expression-structs.rkt"
@@ -1,4 +1,4 @@
-#lang typed/racket/base
+#lang typed/racket/base/no-check
(require "assemble-helpers.rkt"
"../compiler/il-structs.rkt"
@@ -1,4 +1,4 @@
-#lang typed/racket/base
+#lang typed/racket/base/no-check
(require "assemble-helpers.rkt"
"../compiler/il-structs.rkt"
"../compiler/lexical-structs.rkt"
@@ -1,4 +1,4 @@
-#lang typed/racket/base
+#lang typed/racket/base/no-check
(provide (all-defined-out))
@@ -1,4 +1,4 @@
-#lang typed/racket/base
+#lang typed/racket/base/no-check
;; Assembles the statement stream into JavaScript.
@@ -1,4 +1,4 @@
-#lang typed/racket/base
+#lang typed/racket/base/no-check
(require "../compiler/expression-structs.rkt"
"../compiler/il-structs.rkt"
"../compiler/lexical-structs.rkt"
@@ -1,4 +1,4 @@
-#lang typed/racket/base
+#lang typed/racket/base/no-check
(require "assemble-structs.rkt"
"collect-jump-targets.rkt"
@@ -1,4 +1,4 @@
-#lang typed/racket/base
+#lang typed/racket/base/no-check
;; quoting cdata for script tags. This is used to help generate SCRIPT bodies in XHTML.
;; Note that this won't help too much in regular HTML5 documents.
@@ -1,4 +1,4 @@
-#lang typed/racket/base
+#lang typed/racket/base/no-check
(require "../compiler/expression-structs.rkt"
"../compiler/lexical-structs.rkt"
"../sets.rkt")
View
@@ -1,4 +1,4 @@
-#lang typed/racket/base
+#lang typed/racket/base/no-check
(require "../compiler/il-structs.rkt"
"../compiler/bootstrapped-primitives.rkt"
View
@@ -1,4 +1,4 @@
-#lang typed/racket/base
+#lang typed/racket/base/no-check
(require "../compiler/compiler.rkt"
"../compiler/il-structs.rkt"
View
@@ -1,4 +1,4 @@
-#lang typed/racket/base
+#lang typed/racket/base/no-check
(require "compiler/expression-structs.rkt"
"compiler/lexical-structs.rkt"
@@ -10,7 +10,7 @@
;; Parsing Racket 5.1.1 bytecode structures into our own structures.
- (require "typed-module-path.rkt"
+ (require ;"typed-module-path.rkt"
"path-rewriter.rkt"
"../compiler/expression-structs.rkt"
"../compiler/lexical-structs.rkt"
@@ -12,7 +12,7 @@
;; Parsing Racket 5.1.2 bytecode structures into our own structures.
- (require "typed-module-path.rkt"
+ (require ; "typed-module-path.rkt"
"path-rewriter.rkt"
"../compiler/expression-structs.rkt"
"../compiler/lexical-structs.rkt"
@@ -1,63 +0,0 @@
-#lang typed/racket/base
-
-(define-type RelativeString String)
-(define-type UserString String)
-(define-type PackageString String)
-
-
-
-
-(define-type ModulePath (U (List 'quote Symbol)
- RelativeString
- (Pairof 'lib (Pairof RelativeString (Listof RelativeString)))
- Symbol
- (List 'file String)
- (List 'planet Symbol)
- (List 'planet String)
- (Pairof 'planet
- (Pairof RelativeString
- (Pairof (U (List UserString PackageString)
- (List UserString PackageString Natural)
- (List UserString PackageString Natural MinorVersion))
- (Listof RelativeString))))))
-
-
-(define-type MinorVersion (U Natural
- (List Natural Natural)
- (List '= Natural)
- (List '+ Natural)
- (List '- Natural)))
-
-
-(require/typed racket/base
-
- [opaque ModulePathIndex module-path-index?]
- [opaque ResolvedModulePath resolved-module-path?]
-
- [module-path-index-resolve
- (ModulePathIndex -> ResolvedModulePath)]
-
- [module-path-index-join
- ((U ModulePath #f)
- (U ModulePathIndex ResolvedModulePath #f) ->
- ModulePathIndex)]
-
- [module-path-index-split
- (ModulePathIndex -> (values (U ModulePath #f)
- (U ModulePathIndex ResolvedModulePath #f)))]
-
- [resolved-module-path-name
- (ResolvedModulePath -> (U Path Symbol))]
- [make-resolved-module-path ((U Symbol Path) -> ResolvedModulePath)])
-
-
-
-(provide
-
- ModulePath
- ResolvedModulePath
-
- ModulePathIndex
- module-path-index-resolve
- module-path-index-join
- module-path-index-split)
@@ -1,4 +1,4 @@
-#lang typed/racket/base
+#lang typed/racket/base/no-check
(require/typed racket/path
(normalize-path (Path -> Path)))
(require/typed typed/racket/base
View
@@ -1,4 +1,4 @@
-#lang typed/racket/base
+#lang typed/racket/base/no-check
(require (for-syntax racket/base))
;; Working around what appears to be a bug in Typed Racket
View
@@ -1,4 +1,4 @@
-#lang typed/racket/base
+#lang typed/racket/base/no-check
(provide Setof new-set new-seteq
set-insert! set-remove! set-contains?
@@ -1,4 +1,4 @@
-#lang typed/racket/base
+#lang typed/racket/base/no-check
(provide (all-defined-out))
View
@@ -1,4 +1,4 @@
-#lang typed/racket/base
+#lang typed/racket/base/no-check
;; An evaluator for the intermediate language, so I can do experiments.
;;
View
@@ -1,4 +1,4 @@
-#lang typed/racket/base
+#lang typed/racket/base/no-check
(require (for-syntax racket/base
syntax/parse))
View
@@ -1,4 +1,4 @@
-#lang typed/racket/base
+#lang typed/racket/base/no-check
;; Union-find hardcoded to do symbols.
View
@@ -1,4 +1,4 @@
-#lang typed/racket/base
+#lang typed/racket/base/no-check
;; This is an internal version string. It should have no external meaning.
;; This file is touched by "bump.version.rkt": do not edit this file manually unless

0 comments on commit 1ba7461

Please sign in to comment.