From 785df448402b040a36bbe466ec597f9c4983a832 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Thu, 2 Feb 2012 15:50:21 -0500 Subject: [PATCH] Enable Performance Report in typed/racket/base and typed/scheme/base. original commit: b73421f812b7faf3efe2644c21d401ff10c69d7a --- collects/typed/racket/base/lang/reader.rkt | 3 +++ collects/typed/scheme/base/lang/reader.rkt | 3 +++ 2 files changed, 6 insertions(+) diff --git a/collects/typed/racket/base/lang/reader.rkt b/collects/typed/racket/base/lang/reader.rkt index 849ff945..4205d073 100644 --- a/collects/typed/racket/base/lang/reader.rkt +++ b/collects/typed/racket/base/lang/reader.rkt @@ -9,6 +9,9 @@ typed/racket/base (define (make-info key default use-default) (case key + [(drscheme:toolbar-buttons) + (list (dynamic-require 'typed-racket/optimizer/tool/tool + 'performance-report-drracket-button))] [else (use-default key default)])) (define make-language-info diff --git a/collects/typed/scheme/base/lang/reader.rkt b/collects/typed/scheme/base/lang/reader.rkt index 6da86b0d..02c0d1dc 100644 --- a/collects/typed/scheme/base/lang/reader.rkt +++ b/collects/typed/scheme/base/lang/reader.rkt @@ -9,6 +9,9 @@ typed/scheme/base (define (make-info key default use-default) (case key + [(drscheme:toolbar-buttons) + (list (dynamic-require 'typed-racket/optimizer/tool/tool + 'performance-report-drracket-button))] [else (use-default key default)])) (define make-language-info