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

Fix :print-type. Closes PR13503.

Browse Source 
original commit: c2b8671169c51aa20782bd4ba3c046aabea6c351
This commit is contained in:
Eric Dobson 2013-02-07 22:49:39 -08:00 committed by Vincent St-Amour
parent c436421efa
commit 5a77ece770
2 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
collects/tests/typed-racket/succeed/pr13503.rkt Normal file
View File

@ -0,0 +1,5 @@
#lang racket/load
(require typed/racket)
(:print-type +)
(:print-type (values 2 3 4))
(:print-type (error 'ManyTypes))

3
collects/typed-racket/core.rkt
View File

@ -60,7 +60,8 @@
#,(parameterize ([print-multi-line-case-> #t])
(format "~a\n" (match type
[(tc-result1: t f o) t]
[(tc-results: t) (cons 'Values t)])))))]
[(tc-results: t) (cons 'Values t)]
[(tc-any-results:) ManyUniv])))))]
;; given a function and input types, display the result type
[(_ . ((~literal :query-type/args) op:expr arg-type:expr ...))
(with-syntax ([(dummy-arg ...) (generate-temporaries #'(arg-type ...))])