From a0cac4bbe5a436e5cdfa6e1b6369ee5c6ca08db6 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Fri, 22 May 2009 21:41:55 +0000 Subject: [PATCH] turn typechecking back on. svn: r14939 --- collects/drscheme/private/auto-language.ss | 6 +++--- collects/drscheme/private/insert-large-letters.ss | 6 +++--- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/collects/drscheme/private/auto-language.ss b/collects/drscheme/private/auto-language.ss index 3417770099..f0bf4a4f4a 100644 --- a/collects/drscheme/private/auto-language.ss +++ b/collects/drscheme/private/auto-language.ss @@ -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?) diff --git a/collects/drscheme/private/insert-large-letters.ss b/collects/drscheme/private/insert-large-letters.ss index 37493b4973..ea55ecfbfb 100644 --- a/collects/drscheme/private/insert-large-letters.ss +++ b/collects/drscheme/private/insert-large-letters.ss @@ -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)