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

Fix type expansion suggestion.

Browse Source 
Closes PR14212.
This commit is contained in:
Vincent St-Amour 2013-12-02 12:20:36 -05:00
parent 095d8216e3
commit f2de6dfee9
1 changed files with 8 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app-helper.rkt
View File

@ -306,9 +306,14 @@
;; function type, prune if possible. ;; function type, prune if possible.
[(Function: (list (arr: doms rngs rests drests kws) ...)) [(Function: (list (arr: doms rngs rests drests kws) ...))
(match-let ([(list pdoms rngs rests drests) (possible-domains doms rests drests rngs (and expected (ret expected)))]) (match-let ([(list pdoms rngs rests drests) (possible-domains doms rests drests rngs (and expected (ret expected)))])
(let ([res (make-Function (map make-arr (if (= (length pdoms) (length doms))
pdoms rngs rests drests (make-list (length pdoms) null)))]) ;; pruning didn't improve things, return the original
res))] ;; (Note: pruning may have reordered clauses, so may not be `equal?' to
;; the original, which may confuse `:print-type''s pruning detection)
t
;; pruning helped, return pruned type
(make-Function (map make-arr
pdoms rngs rests drests (make-list (length pdoms) null)))))]
;; not a function type. keep as is. ;; not a function type. keep as is.
[_ t])) [_ t]))