From 5d6ecd77542c8da3cc81c51f41d1a6f44b7530d6 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Wed, 10 Sep 2014 14:30:22 -0400 Subject: [PATCH] Fix the fix to type queries. Should have been included in the original commit. --- .../typed-racket/typecheck/tc-app-helper.rkt | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app-helper.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app-helper.rkt index 088dc6e9b7..920f4774de 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app-helper.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app-helper.rkt @@ -325,7 +325,10 @@ (match t ;; function type, prune if possible. [(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)) ;; pruning didn't improve things, return the original ;; (Note: pruning may have reordered clauses, so may not be `equal?' to