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

fix types of stx->list, stx-car, etc.

Browse Source
This commit is contained in:
AlexKnauth 2014-09-08 18:25:51 -04:00 committed by Asumu Takikawa
parent b19f5a34ee
commit 56faac79c4
1 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
pkgs/typed-racket-pkgs/typed-racket-more/typed/syntax/stx.rkt
View File

@ -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=?