Constructed a test related to PR 13982.

This commit is contained in:
Carl Eastlund 2013-09-02 19:35:17 -04:00
parent aa4b31ef3f
commit 10bce2b472

View File

@ -166,3 +166,15 @@
(define stream-first first)
(define stream-rest rest)
(define stream-empty? empty?)])))
(check-good-syntax
(module gen racket
(require racket/generic)
(provide gen:foo (rename-out [*bar bar]))
(define-generics foo (bar foo))
(define *bar bar))
(module impl racket
(require racket/generic (submod ".." gen))
(struct thing []
#:methods gen:foo
[(define/generic gbar bar)])))