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

Fix typo.

Browse Source 
(cherry picked from commit 7ba2b6e100)
This commit is contained in:
Sam Tobin-Hochstadt 2011-04-18 20:52:33 -04:00 committed by Eli Barzilay
parent 0d898db859
commit 0a8ad31a47
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/subtype.rkt
View File

@ -294,7 +294,7 @@
[(s (Poly: vs b))
(=> unmatch)
(if (null? (fv b)) (subtype* A0 s b) (unmatch))]
;; rec types, applications and names (that aren't the same
;; rec types, applications and names (that aren't the same)
[((? needs-resolving? s) other)
(let ([s* (resolve-once s)])
(if (Type? s*) ;; needed in case this was a name that hasn't been resolved yet