From 27ed39d1010bae3345a25c7f9ce4f7585332d614 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Sat, 9 Jul 2016 21:22:08 -0400 Subject: [PATCH] Adjust tests since opaque structs are no longer accepted by `Any`. --- typed-racket-test/succeed/exn-any-mutation.rkt | 2 +- typed-racket-test/succeed/pr241-variation-3.rkt | 2 +- typed-racket-test/{succeed => xfail}/exn-any.rkt | 0 typed-racket-test/{succeed => xfail}/pr241-variation-4.rkt | 0 4 files changed, 2 insertions(+), 2 deletions(-) rename typed-racket-test/{succeed => xfail}/exn-any.rkt (100%) rename typed-racket-test/{succeed => xfail}/pr241-variation-4.rkt (100%) 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