From 57ce28ef09ca8cf79849aa10640c04dd6e15763e Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Wed, 22 Jun 2011 16:16:20 -0400 Subject: [PATCH] Added a button for the performance report tool when in a typed language. original commit: 101feb82007f3c2f0f7831a6be368cdae411beab --- collects/typed-scheme/lang/reader.rkt | 8 ++++++++ collects/typed/racket/lang/reader.rkt | 3 +++ collects/typed/scheme/lang/reader.rkt | 3 +++ 3 files changed, 14 insertions(+) diff --git a/collects/typed-scheme/lang/reader.rkt b/collects/typed-scheme/lang/reader.rkt index ef2e9ce6..b00d3a3b 100644 --- a/collects/typed-scheme/lang/reader.rkt +++ b/collects/typed-scheme/lang/reader.rkt @@ -4,5 +4,13 @@ typed-scheme #:read r:read #:read-syntax r:read-syntax +#:info make-info (require (prefix-in r: "../typed-reader.rkt")) + +(define (make-info key default use-default) + (case key + [(drscheme:toolbar-buttons) + (list (dynamic-require 'typed-scheme/optimizer/tool/tool + 'performance-report-drracket-button))] + [else (use-default key default)])) diff --git a/collects/typed/racket/lang/reader.rkt b/collects/typed/racket/lang/reader.rkt index 35c0f81d..bce2cd00 100644 --- a/collects/typed/racket/lang/reader.rkt +++ b/collects/typed/racket/lang/reader.rkt @@ -9,6 +9,9 @@ typed/racket (define (make-info key default use-default) (case key + [(drscheme:toolbar-buttons) + (list (dynamic-require 'typed-scheme/optimizer/tool/tool + 'performance-report-drracket-button))] [else (use-default key default)])) (define make-language-info diff --git a/collects/typed/scheme/lang/reader.rkt b/collects/typed/scheme/lang/reader.rkt index 0c7fbe6b..16197bc2 100644 --- a/collects/typed/scheme/lang/reader.rkt +++ b/collects/typed/scheme/lang/reader.rkt @@ -9,6 +9,9 @@ typed/scheme (define (make-info key default use-default) (case key + [(drscheme:toolbar-buttons) + (list (dynamic-require 'typed-scheme/optimizer/tool/tool + 'performance-report-drracket-button))] [else (use-default key default)])) (define make-language-info