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

Fix error message for multiple values.

Browse Source 
original commit: d4a8c52c7102778e6b1ef8fae8b5c75774069487
This commit is contained in:
Sam Tobin-Hochstadt 2010-05-26 19:13:19 -04:00
parent b1e9e9ea82
commit 371934cf82
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
(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))
(define (make-printable t)
(match t
[(tc-result1: t) t]
[(tc-results: ts) (-values ts)]
[_ t]))
(define (stringify-domain dom rst drst [rng #f])