From 56faac79c47d39626c3cc30cfab808e0524a722d Mon Sep 17 00:00:00 2001 From: AlexKnauth Date: Mon, 8 Sep 2014 18:25:51 -0400 Subject: [PATCH] fix types of stx->list, stx-car, etc. --- .../typed-racket-more/typed/syntax/stx.rkt | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-more/typed/syntax/stx.rkt b/pkgs/typed-racket-pkgs/typed-racket-more/typed/syntax/stx.rkt index 90f26438a4..8e703fb79d 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-more/typed/syntax/stx.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-more/typed/syntax/stx.rkt @@ -12,27 +12,27 @@ [stx-list? (make-pred-ty (-stx-list Univ))] [stx->list (-poly (a) (cl->* (-> (-lst a) (-lst a)) - (-> (-Syntax (-lst a)) (-lst (-Syntax a))) + (-> (-Syntax (-lst a)) (-lst a)) (-> (-Syntax Univ) (-val #f))))] [stx-car (-poly (a b) (cl->* (-> (-pair a b) a) (-> (-lst a) a) - (-> (-Syntax (-pair a b)) (-Syntax a)) - (-> (-Syntax (-lst a)) (-Syntax a))))] + (-> (-Syntax (-pair a b)) a) + (-> (-Syntax (-lst a)) a)))] [stx-cdr (-poly (a b) (cl->* (-> (-pair a b) b) (-> (-lst a) (-lst a)) - (-> (-Syntax (-pair a (-lst b))) (-lst (-Syntax b))) - (-> (-Syntax (-pair a b)) (-Syntax b)) - (-> (-Syntax (-lst a)) (-lst (-Syntax a)))))] + (-> (-Syntax (-pair a (-lst b))) (-lst b)) + (-> (-Syntax (-pair a b)) b) + (-> (-Syntax (-lst a)) (-lst a))))] [stx-map (-polydots (c a b) (cl->* (-> (-> a c) (-pair a (-lst a)) (-pair c (-lst c))) (-> (-> a c) (-Syntax (-pair a (-lst a))) (-pair c (-lst c))) ((list - ((list (-Syntax a)) ((-Syntax b) b) . ->... . c) + ((list a) (b b) . ->... . c) (Un (-lst a) (-Syntax (-lst a)))) ((Un (-lst b) (-Syntax (-lst b))) b) . ->... .(-lst c))))] [module-or-top-identifier=?