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

Fix :print-type to use tc-setup.

Browse Source 
original commit: 51b98138d5f15ec31bbca0f2e9d5640046ce19d8
This commit is contained in:
Vincent St-Amour 2011-07-20 14:24:28 -04:00
parent c877e22a1b
commit 18a8bdbca5
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
[(_ 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