From ac571641bab0b296e144be21cca85f2dc7f3d8e1 Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Sat, 31 May 2014 14:04:25 -0700 Subject: [PATCH] Remove extra default path arg to -filter calls. original commit: 81804760c5a3015af9cca5ede1820c6e4f5cef23 --- .../tests/typed-racket/unit-tests/contract-tests.rkt | 2 +- .../tests/typed-racket/unit-tests/parse-type-tests.rkt | 4 ++-- .../tests/typed-racket/unit-tests/typecheck-tests.rkt | 8 ++++---- 3 files changed, 7 insertions(+), 7 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/contract-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/contract-tests.rkt index 6db95616..121fb7d9 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/contract-tests.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/contract-tests.rkt @@ -119,7 +119,7 @@ (t (->key -Symbol #:key -Boolean #t Univ)) (t (make-Function (list (make-arr* (list Univ) -Boolean #:kws (list (make-Keyword '#:key Univ #t)) - #:filters (-FS (-filter -Symbol 0 null) (-not-filter -Symbol 0 null)))))) + #:filters (-FS (-filter -Symbol 0) (-not-filter -Symbol 0)))))) (t (-struct #'struct-name #f (list (make-fld -Symbol #'acc #f)))) ;; Adapted from PR 13815 (t (-poly (a) (-> a a))) diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/parse-type-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/parse-type-tests.rkt index 4fd2b87a..11ce2221 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/parse-type-tests.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/parse-type-tests.rkt @@ -140,9 +140,9 @@ [(-> Any Boolean : #:+ (Number @ 0) #:- (! Number @ 0)) (make-pred-ty -Number)] [(Any -> Boolean : #:+ (! Number @ 0) #:- (Number @ 0)) - (t:->* (list Univ) -Boolean : (-FS (-not-filter -Number 0 null) (-filter -Number 0 null)))] + (t:->* (list Univ) -Boolean : (-FS (-not-filter -Number 0) (-filter -Number 0)))] [(-> Any Boolean : #:+ (! Number @ 0) #:- (Number @ 0)) - (t:->* (list Univ) -Boolean : (-FS (-not-filter -Number 0 null) (-filter -Number 0 null)))] + (t:->* (list Univ) -Boolean : (-FS (-not-filter -Number 0) (-filter -Number 0)))] [(All (a b) (-> (-> a Any : #:+ b) (Listof a) (Listof b))) (-poly (a b) (t:-> (asym-pred a Univ (-FS (-filter b 0) -top)) (-lst a) (-lst b)))] [(All (a b) (-> (-> a Any : #:+ (! b)) (Listof a) (Listof b))) diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt index 2dbeae69..968b7ca6 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt @@ -312,11 +312,11 @@ #:with id #'p.x e])) - (define (-path t var [p null]) + (define (-path t var) (ret t - (-FS (make-NotTypeFilter (-val #f) p var) - (make-TypeFilter (-val #f) p var)) - (make-Path p var)))) + (-FS (-not-filter (-val #f) var) + (-filter (-val #f) var)) + (make-Path null var)))) (define tests