diff --git a/typed-racket-test/succeed/exn-any-mutation.rkt b/typed-racket-test/succeed/exn-any-mutation.rkt index d7bfcdca..19033f5a 100644 --- a/typed-racket-test/succeed/exn-any-mutation.rkt +++ b/typed-racket-test/succeed/exn-any-mutation.rkt @@ -4,7 +4,7 @@ (define (f x) x)) (module typed typed/racket (require typed/rackunit) - (struct (X) s ([i : X]) #:mutable) + (struct (X) s ([i : X]) #:mutable #:transparent) (require/typed (submod ".." untyped) [f (-> Any (s (U Integer String)))]) (: s1 : (s Integer)) diff --git a/typed-racket-test/succeed/pr241-variation-3.rkt b/typed-racket-test/succeed/pr241-variation-3.rkt index ebfa7490..7fb180cb 100644 --- a/typed-racket-test/succeed/pr241-variation-3.rkt +++ b/typed-racket-test/succeed/pr241-variation-3.rkt @@ -5,7 +5,7 @@ (module u racket/base (require racket/generic) (define-generics foo) - (struct foo-struct () #:methods gen:foo []) + (struct foo-struct () #:methods gen:foo [] #:transparent) (define f1 (foo-struct)) (provide f1 foo?)) diff --git a/typed-racket-test/succeed/exn-any.rkt b/typed-racket-test/xfail/exn-any.rkt similarity index 100% rename from typed-racket-test/succeed/exn-any.rkt rename to typed-racket-test/xfail/exn-any.rkt diff --git a/typed-racket-test/succeed/pr241-variation-4.rkt b/typed-racket-test/xfail/pr241-variation-4.rkt similarity index 100% rename from typed-racket-test/succeed/pr241-variation-4.rkt rename to typed-racket-test/xfail/pr241-variation-4.rkt