From b25ee81d790ac3d8388cbe80bb708b6b5841d83f Mon Sep 17 00:00:00 2001
From: Eric Dobson <eric.n.dobson@gmail.com>
Date: Sat, 2 Jul 2011 14:54:08 -0400
Subject: [PATCH] Changed TR test to use struct with struct info instead of
 HTDP struct.

---
 collects/tests/typed-scheme/succeed/struct-out.rkt | 14 +++++++++++---
 1 file changed, 11 insertions(+), 3 deletions(-)

diff --git a/collects/tests/typed-scheme/succeed/struct-out.rkt b/collects/tests/typed-scheme/succeed/struct-out.rkt
index 6a8495f1db..1bda9ca88f 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)