From 400abdf4558a0bae7224c2e415777b7bc7b77134 Mon Sep 17 00:00:00 2001 From: Carl Eastlund Date: Mon, 15 Feb 2010 02:39:33 +0000 Subject: [PATCH] Language level switching works with type enforcement turned off. Contracts for Any and polymorphic types are proving problematic. svn: r18085 --- collects/drscheme/private/auto-language.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/drscheme/private/auto-language.ss b/collects/drscheme/private/auto-language.ss index d6f3cceb89..53f0e7f827 100644 --- a/collects/drscheme/private/auto-language.ss +++ b/collects/drscheme/private/auto-language.ss @@ -1,4 +1,4 @@ -#lang typed-scheme +#lang typed-scheme/no-check (require typed/framework/framework typed/mred/mred