From 18a8bdbca5f248c681c197b5bf28a1b24f19b74e Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Wed, 20 Jul 2011 14:24:28 -0400 Subject: [PATCH] Fix :print-type to use tc-setup. original commit: 51b98138d5f15ec31bbca0f2e9d5640046ce19d8 --- collects/typed-scheme/base-env/prims.rkt | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/collects/typed-scheme/base-env/prims.rkt b/collects/typed-scheme/base-env/prims.rkt index 9161ef79..a67b1c61 100644 --- a/collects/typed-scheme/base-env/prims.rkt +++ b/collects/typed-scheme/base-env/prims.rkt @@ -180,9 +180,10 @@ This file defines two sorts of primitives. All of them are provided into any mod (syntax-parse stx [(_ e:expr) #`(display #,(format "~a\n" - (match (tc-toplevel-form #'e) - [(tc-result1: t f o) t] - [(tc-results: t) (cons 'Values t)])))])) + (tc-setup #'e #'e 'top-level expanded tc-toplevel-form type + (match type + [(tc-result1: t f o) t] + [(tc-results: t) (cons 'Values t)]))))])) (define-syntax (require/opaque-type stx) (define-syntax-class name-exists-kw