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

Adjust types for stx-map and syntax->list

Browse Source 
These types need to be adjusted to match the types that
are now produced for syntax datums due to the previous
commit.

original commit: 99c8da4d92259251c6fbdac38969c16dec80ef62
This commit is contained in:
Asumu Takikawa 2014-09-06 17:38:05 -04:00
parent b844ae5119
commit fc02f40dbd
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt
View File

@ -1455,7 +1455,7 @@
[syntax-original? (-poly (a) (-> (-Syntax a) B))]
[syntax-source-module (->opt (-Syntax Univ) [Univ] (Un (-val #f) -Path Sym -Module-Path-Index))]
[syntax-e (-poly (a) (->acc (list (-Syntax a)) a (list -syntax-e)))]
[syntax->list (-poly (a) (-> (-Syntax (-lst a)) (-lst (-Syntax a))))]
[syntax->list (-poly (a) (-> (-Syntax (-lst a)) (-lst a)))]
[syntax->datum (cl->* (-> Any-Syntax -Sexp)
(-> (-Syntax Univ) Univ))]

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

@ -29,8 +29,8 @@
(-> (-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)))
(-> (-> 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)
(Un (-lst a) (-Syntax (-lst a))))