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

Improve printing of effects for functions with simple effects.

Browse Source 
Reject contract creation of overloaded types.

svn: r12105

original commit: ae1fd58e2b085dbd605f41b17a8ad360aa2bb830
This commit is contained in:
Sam Tobin-Hochstadt 2008-10-23 21:43:23 +00:00
parent 9971f1730d
commit ec58da0ff0
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/typed-scheme/private/type-effect-printer.ss
View File

@ -64,8 +64,10 @@
(when drest
(fp "~a ... ~a " (car drest) (cdr drest)))
(fp "-> ~a" rng)
(unless (and (null? thn-eff) (null? els-eff))
(fp " : ~a ~a" thn-eff els-eff))
(match* (thn-eff els-eff)
[((list) (list)) (void)]
[((list (Latent-Restrict-Effect: t)) (list (Latent-Remove-Effect: t))) (fp " : ~a" t)]
[(_ _) (fp " : ~a ~a" thn-eff els-eff)])
(fp ")")]))
(define (tuple? t)
(match t