typed-racket/typed-racket-test/succeed/pr15026-b.rkt
Asumu Takikawa d1e17b04e8 Add tests for PR 15026
Fixed on HEAD, possibly due to new expander

Closes PR 15026
2015-07-29 14:29:18 -04:00

10 lines
155 B
Racket

#lang racket/base
;; A test for PR 15026, goes with pr15026-a.rkt
;;
;; Should not segfault
(module+ test
(require (except-in "pr15026-a.rkt" x))
y)