suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

typed/racket/no-check

Browse Source 
original commit: 30fe053f7842c14bf0e0471a69b3105f41903bee
This commit is contained in:
Sam Tobin-Hochstadt 2010-06-09 12:51:27 -04:00
parent 4347da736b
commit ee7d9e61dd
6 changed files with 33 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-scheme/no-check/lang/reader.rkt
View File

@ -5,4 +5,4 @@ typed-scheme/no-check
#:read r:read
#:read-syntax r:read-syntax
(require (prefix-in r: "../../typed-reader.ss"))
(require (prefix-in r: typed-scheme/typed-reader))

13
collects/typed-scheme/scribblings/ts-reference.scrbl
View File

@ -406,16 +406,19 @@ y
@section{Typed Racket Syntax Without Type Checking}
@defmodulelang[typed-scheme/no-check]
@defmodulelang*[(typed/racket/no-check
typed/racket/base/no-check)]
On occasions where the Typed Racket syntax is useful, but actual
typechecking is not desired, the @racketmodname[typed-scheme/no-check]
language is useful. It provides the same bindings and syntax as Typed
Racket, but does no type checking.
typechecking is not desired, the @racketmodname[typed/racket/no-check]
and @racketmodname[typed/racket/base/no-check] languages are useful.
They provide the same bindings and syntax as
@racketmodname[typed/racket] and @racketmodname[typed/racket/base],
but do no type checking.
Examples:
@racketmod[typed-scheme/no-check
@racketmod[typed/racket/no-check
(: x Number)
(define x "not-a-number")]

4
collects/typed/racket/base/no-check.rkt Normal file
View File

@ -0,0 +1,4 @@
#lang racket/base
(require racket/require typed-scheme/no-check (subtract-in typed/racket/base typed-scheme/no-check))
(provide (all-from-out typed/racket/base typed-scheme/no-check))

8
collects/typed/racket/base/no-check/lang/reader.rkt Normal file
View File

@ -0,0 +1,8 @@
#lang s-exp syntax/module-reader
typed/racket/base/no-check
#:read r:read
#:read-syntax r:read-syntax
(require (prefix-in r: typed-scheme/typed-reader))

4
collects/typed/racket/no-check.rkt Normal file
View File

@ -0,0 +1,4 @@
#lang racket/base
(require racket/require typed-scheme/no-check (subtract-in typed/racket typed-scheme/no-check))
(provide (all-from-out typed/racket typed-scheme/no-check))

8
collects/typed/racket/no-check/lang/reader.rkt Normal file
View File

@ -0,0 +1,8 @@
#lang s-exp syntax/module-reader
typed/racket/no-check
#:read r:read
#:read-syntax r:read-syntax
(require (prefix-in r: typed-scheme/typed-reader))