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

Fix :print-type to use tc-setup.

Browse Source
This commit is contained in:
Vincent St-Amour 2011-07-20 14:24:28 -04:00
parent a71db7c15c
commit 51b98138d5
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
collects/typed-scheme/base-env/prims.rkt
View File

@ -180,9 +180,10 @@ This file defines two sorts of primitives. All of them are provided into any mod
(syntax-parse stx (syntax-parse stx
[(_ e:expr) [(_ e:expr)
#`(display #,(format "~a\n" #`(display #,(format "~a\n"
(match (tc-toplevel-form #'e) (tc-setup #'e #'e 'top-level expanded tc-toplevel-form type
[(tc-result1: t f o) t] (match type
[(tc-results: t) (cons 'Values t)])))])) [(tc-result1: t f o) t]
[(tc-results: t) (cons 'Values t)]))))]))
(define-syntax (require/opaque-type stx) (define-syntax (require/opaque-type stx)
(define-syntax-class name-exists-kw (define-syntax-class name-exists-kw