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

Add a test for PR 14521

Browse Source 
Started working since v6.2. Possibly due to the new macro
expander.

Closes PR 14521.
This commit is contained in:
Asumu Takikawa 2015-07-29 13:55:49 -04:00
parent 5e0e8ed713
commit 3fffeeac5d
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
typed-racket-test/succeed/pr14521.rkt Normal file
View File

@ -0,0 +1,7 @@
#lang typed/racket
;; Test for PR 14521, submodule with struct definition
(module untyped racket
(provide (struct-out thing))
(struct thing ()))