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

Remove stale comment.

Browse Source
This commit is contained in:
Vincent St-Amour 2011-07-22 16:46:10 -04:00
parent 02b76d7741
commit 86490943a3
1 changed files with 0 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -178,11 +178,6 @@
;; is fun-ty subsumed by a function type in others? ;; is fun-ty subsumed by a function type in others?
(define (is-subsumed-in? fun-ty others) (define (is-subsumed-in? fun-ty others)
;; assumption: domains go from more specific to less specific
;; thus, a domain can only be subsumed by another that is further down
;; the list.
;; this is reasonable because a more specific domain coming after a more
;; general domain would never be matched
;; a case subsumes another if the first one is a subtype of the other ;; a case subsumes another if the first one is a subtype of the other
(ormap (lambda (x) (subtype x fun-ty)) (ormap (lambda (x) (subtype x fun-ty))
others)) others))