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

Only generalize #t, not #f.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2011-08-26 14:08:24 -04:00
parent c7ac40f33b
commit 005923c284
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-scheme/types/convenience.rkt
View File

@ -56,7 +56,7 @@
(exit t)))] (exit t)))]
[(ListDots: t bound) (-lst (substitute Univ bound t))] [(ListDots: t bound) (-lst (substitute Univ bound t))]
[(? (lambda (t) (subtype t -Symbol))) -Symbol] [(? (lambda (t) (subtype t -Symbol))) -Symbol]
[(or (Value: #f) (Value: #t)) -Boolean] [(Value: #t) -Boolean]
[_ (exit t)])))) [_ (exit t)]))))