turn typechecking back on.

svn: r14939
This commit is contained in:
Sam Tobin-Hochstadt 2009-05-22 21:41:55 +00:00
parent 7d239a4dfa
commit a0cac4bbe5
2 changed files with 6 additions and 6 deletions

View File

@ -1,7 +1,7 @@
#lang typed-scheme/no-check
#lang typed-scheme
(require framework/framework ;typed/framework/framework
mred ;typed/mred/mred
(require typed/framework/framework
typed/mred/mred
scheme/class)
(provide pick-new-language looks-like-module?)

View File

@ -1,7 +1,7 @@
#lang typed-scheme/no-check
#lang typed-scheme
(require #;typed/ mred/mred
#;typed/ framework/framework
(require typed/mred/mred
typed/framework/framework
scheme/class
string-constants/string-constant)