Fix accidental use of the wrong letrec-bound variable.

samth · samth · commit 0e71f2d5dc58 · 2012-10-31T21:18:44.000-04:00
diff --git a/collects/tests/typed-racket/succeed/exn-any.rkt b/collects/tests/typed-racket/succeed/exn-any.rkt
@@ -0,0 +1,15 @@
+#lang racket/load
+
+(module m typed/racket
+  (struct: s ())
+  
+  (struct: s2 s ())
+  (define:  v : Any (s2))
+  (provide v))
+
+(module n racket
+  (require 'm)
+  v)
+
+(require 'n)
+
diff --git a/collects/typed-racket/utils/any-wrap.rkt b/collects/typed-racket/utils/any-wrap.rkt
@@ -14,7 +14,7 @@
     (define (wrap-struct s)
       (define (extract-functions struct-type)
         (define-values (sym init auto ref set! imms par skip?)
-          (struct-type-info type))
+          (struct-type-info struct-type))
         (when skip? (fail s)) ;; "Opaque struct type!")
         (define-values (fun/chap-list _)
           (for/fold ([res null]
@@ -36,7 +36,7 @@
                         res)
                  imms))))
         (cond
-          [par (cons fun/chap-list (extract-functions par))]
+          [par (append fun/chap-list (extract-functions par))]
           [else fun/chap-list]))
       (define-values (type skipped?) (struct-info s))
       (when skipped? (fail s));  "Opaque struct type!"
