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

Fix error message for multiple values.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2010-05-26 19:13:19 -04:00
parent 40c77586a0
commit d4a8c52c71
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/typed-scheme/typecheck/tc-app-helper.rkt
View File

@ -1,13 +1,14 @@
#lang scheme/base #lang scheme/base
(require "../utils/utils.rkt" scheme/match unstable/list (require "../utils/utils.rkt" scheme/match unstable/list
(utils tc-utils) (rep type-rep) (types utils union)) (utils tc-utils) (rep type-rep) (types utils union abbrev))
(provide (all-defined-out)) (provide (all-defined-out))
(define (make-printable t) (define (make-printable t)
(match t (match t
[(tc-result1: t) t] [(tc-result1: t) t]
[(tc-results: ts) (-values ts)]
[_ t])) [_ t]))
(define (stringify-domain dom rst drst [rng #f]) (define (stringify-domain dom rst drst [rng #f])