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

Add comments to tc/apply.

Browse Source 
original commit: 6967ec7954c4b2e8c090e4c9ec37171e20a6e726
This commit is contained in:
Eric Dobson 2014-05-08 08:44:54 -07:00
parent aa2d32287f
commit fddc956333
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-apply.rkt
View File

@ -42,6 +42,7 @@
(values tail-ty tail-bound)]
[t (values #f #f)]))
;; Raises an error message for the case that the arguments do not match any of the domains
(define (failure)
(match f-ty
[(tc-result1:
@ -60,8 +61,14 @@
[range (in-list rngs)]
[rest (in-list rests)]
[drest (in-list drests)])
;; Takes a possible substitution and comuptes the substituted range type if it is not #f
(define (finish substitution)
(and substitution (do-ret (subst-all substitution range))))
;; Figures out if there is a possible substitution of vars and if there is uses that
;; substitution to compute the actual range type.
;; Currently if vars is null, then we use subtype instead because inference is missing some
;; cases that are covered by subtype.
(define (local-infer s t)
(if (empty? vars)
(and (subtype s t) (do-ret range))