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

Add types for syntax/stx as typed/syntax/stx

Browse Source
This commit is contained in:
Asumu Takikawa 2013-12-20 04:47:09 -05:00
parent 91a1ff262b
commit 878b67a4a6
1 changed files with 31 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

31
pkgs/typed-racket-pkgs/typed-racket-more/typed/syntax/stx.rkt Normal file
View File

@ -0,0 +1,31 @@
#lang s-exp typed-racket/base-env/extra-env-lang
(require syntax/stx)
[stx-null? (make-pred-ty (Un (-val '()) (-Syntax (-val '()))))]
[stx-pair? (make-pred-ty (Un (-pair Univ Univ) (-Syntax (-pair Univ Univ))))]
[stx-list? (make-pred-ty (Un (-lst Univ) (-Syntax (-lst Univ))))]
[stx-car (-poly (a b)
(cl->*
(-> (-pair a b) a)
(-> (-lst a) a)
(-> (-Syntax (-pair a b)) (-Syntax a))
(-> (-Syntax (-lst a)) (-Syntax 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)))))]
[stx-map (-polydots (c a b)
(cl->*
(-> (-> (-Syntax a) c) (-pair a (-lst a)) (-pair c (-lst c)))
(-> (-> (-Syntax a) c) (-Syntax (-pair a (-lst a))) (-pair c (-lst c)))
((list
((list (-Syntax a)) ((-Syntax b) b) . ->... . c)
(Un (-lst a) (-Syntax (-lst a))))
((Un (-lst b) (-Syntax (-lst b))) b) . ->... .(-lst c))))]
[module-or-top-identifier=?
(-> (-Syntax -Symbol) (-Syntax -Symbol) -Boolean)]