diff --git a/collects/tests/typed-scheme/succeed/struct-out.rkt b/collects/tests/typed-scheme/succeed/struct-out.rkt index 6a8495f1..1bda9ca8 100644 --- a/collects/tests/typed-scheme/succeed/struct-out.rkt +++ b/collects/tests/typed-scheme/succeed/struct-out.rkt @@ -1,3 +1,11 @@ -#lang typed-scheme -(require-typed-struct posn ([x : Number] [y : Number]) #:extra-constructor-name make-posn lang/posn) -(provide (struct-out posn)) +#lang racket/load + +(module untyped racket/base + (struct posn (x y)) + (provide (struct-out posn))) + +(module typed typed/racket/base + (require-typed-struct posn ((x : Real) (y : Real)) 'untyped) + (provide (struct-out posn))) + +(require 'typed)