From addb3efe8c337593ae72d6c642a133c52fc6800c Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Fri, 11 Apr 2014 11:52:54 -0400 Subject: [PATCH] Fix type of sequence-filter. original commit: 6080e20ddf3f168776ff56ede0dfe2095b13d649 --- .../typed-racket-lib/typed-racket/base-env/base-env.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt index d170fcf7..d39cc95f 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt @@ -843,7 +843,7 @@ (-seq a) . -> . (-seq b)) - ((a . -> . Univ) (-lst a) . -> . (-seq a))))] + ((a . -> . Univ) (-seq a) . -> . (-seq a))))] [sequence-add-between (-poly (a) ((-seq a) a . -> . (-seq a)))] ;; Section 4.16 (Sets)