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

Language level switching works with type enforcement turned off.

Browse Source 
Contracts for Any and polymorphic types are proving problematic.

svn: r18085
This commit is contained in:
Carl Eastlund 2010-02-15 02:39:33 +00:00
parent 81dbd0a967
commit 400abdf455
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/drscheme/private/auto-language.ss
View File

@ -1,4 +1,4 @@
#lang typed-scheme
#lang typed-scheme/no-check
(require typed/framework/framework
typed/mred/mred