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

Fix the fix to type queries.

Browse Source 
Should have been included in the original commit.
This commit is contained in:
Vincent St-Amour 2014-09-10 14:30:22 -04:00
parent 08178c1ec2
commit 5d6ecd7754
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -325,7 +325,10 @@
(match t (match t
;; function type, prune if possible. ;; function type, prune if possible.
[(Function/arrs: doms rngs rests drests kws) [(Function/arrs: 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))
permissive?)])
(if (= (length pdoms) (length doms)) (if (= (length pdoms) (length doms))
;; pruning didn't improve things, return the original ;; pruning didn't improve things, return the original
;; (Note: pruning may have reordered clauses, so may not be `equal?' to ;; (Note: pruning may have reordered clauses, so may not be `equal?' to