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

Support define-namespace-anchor in TR

Browse Source 
original commit: 03855eb53248f6de46ccfaa71b001a0375156e50
This commit is contained in:
Asumu Takikawa 2014-10-17 15:23:28 -04:00
parent 46b8e6668d
commit 5e9eedd41c
2 changed files with 9 additions and 0 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-special-env.rkt
View File

@ -217,4 +217,6 @@
(-> -FlVector (-seq -Flonum))]
[(make-template-identifier 'in-extflvector* 'racket/extflonum)
(-> -ExtFlVector (-seq -ExtFlonum))]
[(make-template-identifier 'make-namespace-anchor 'racket/private/namespace)
(-> -Variable-Reference -Namespace-Anchor)]
)

7
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/namespace-anchor.rkt Normal file
View File

@ -0,0 +1,7 @@
#lang typed/racket/base
;; Tests namespace anchors. Not a unit test because `define-namespace-anchor`
;; only works at the top-level or in a module.
(: x Namespace-Anchor)
(define-namespace-anchor x)