From 745c6532d1444c8248824b17ea3c4a075e04e6fa Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Thu, 20 Feb 2014 15:02:41 -0500 Subject: [PATCH] Restore optimization for two DrRacket TR files Commit 2b9b16b165cecd1285e fixed the issue with the send expansion, so this can be re-enabled. --- pkgs/drracket-pkgs/drracket/drracket/private/auto-language.rkt | 2 +- .../drracket/drracket/private/insert-large-letters.rkt | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/drracket-pkgs/drracket/drracket/private/auto-language.rkt b/pkgs/drracket-pkgs/drracket/drracket/private/auto-language.rkt index 353e1f637e..86d69776a6 100644 --- a/pkgs/drracket-pkgs/drracket/drracket/private/auto-language.rkt +++ b/pkgs/drracket-pkgs/drracket/drracket/private/auto-language.rkt @@ -1,4 +1,4 @@ -#lang typed/racket/base #:no-optimize +#lang typed/racket/base (require typed/framework/framework typed/mred/mred diff --git a/pkgs/drracket-pkgs/drracket/drracket/private/insert-large-letters.rkt b/pkgs/drracket-pkgs/drracket/drracket/private/insert-large-letters.rkt index 2a4245c2a8..6391efac22 100644 --- a/pkgs/drracket-pkgs/drracket/drracket/private/insert-large-letters.rkt +++ b/pkgs/drracket-pkgs/drracket/drracket/private/insert-large-letters.rkt @@ -1,4 +1,4 @@ -#lang typed/racket/base #:no-optimize +#lang typed/racket/base (require typed/mred/mred typed/framework/framework