typed-racket/typed-racket-test/succeed/pr11578.rkt
2014-12-16 10:07:25 -05:00

13 lines
149 B
Racket

#lang racket/load
(module a typed/racket/base
(provide foo)
(struct: foo ()))
(module b racket/base
(require 'a)
(foo))
(require 'b)