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

Fix type of stx->list.

Browse Source 
original commit: dad3c3008d76e168e470a4dace9cfa5d8f579f9e
This commit is contained in:
Eric Dobson 2014-06-11 20:00:26 -07:00
parent 0058d5d0de
commit 2170e9f6d6
2 changed files with 4 additions and 1 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

@ -2772,7 +2772,7 @@
;; Syntax Manual
;; Section 2.1 (syntax/stx)
;; Needed for `with-syntax'
[stx->list (-> (-Syntax Univ) (-lst (-Syntax Univ)))]
[stx->list (-> (-Syntax Univ) (Un (-lst (-Syntax Univ)) (-val #f)))]
[stx-list? (-> (-Syntax Univ) -Boolean)]
;; Keyword functions moved back to here:

3
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt
View File

@ -283,6 +283,7 @@
racket/tcp
racket/udp
racket/vector
syntax/stx
(except-in typed-racket/utils/utils private)
;; Needed for bindings of types and TR primitives in expressions
@ -3022,6 +3023,8 @@
#:ret (ret (list (t:Un -String -Void) (t:Un -Symbol -Void)))]
[tc-e (syntax->datum #`(#,(lambda (x) x)))
#:ret (ret Univ)]
[tc-e (stx->list #'(a . b))
#:ret (ret (t:Un (-lst (-Syntax Univ)) (-val #f)))]
)
(test-suite