New tests from Richard's bug reports.

svn: r9700

original commit: a3d192bc51eb9a6af22492ee2a0db20131c07179

collects/tests/typed-scheme/fail/pr9053-fail.ss

@@ -0,0 +1,19 @@
+#;
+(exn-pred exn:fail:syntax?)
+#lang scheme/load
+
+(module source scheme/base
+
+  (define-struct term (posn))           ;; lambda-calc term w/ srcloc info
+  (define-struct (var term) (id))
+  (define-struct (lam term) (arg body))
+  (define-struct (app term) (rator rand))
+
+  (provide (all-defined-out)))
+
+(module client typed-scheme
+
+  (require-typed-struct term ([posn : Number]) 'source)
+  (require-typed-struct (var term) (
+                             [id : Symbol])
+                        'source))

collects/tests/typed-scheme/succeed/box-num.ss

@@ -1,6 +1,6 @@
 #lang typed-scheme
 
-(let ([x : (Boxof Number) (box 1)]) x)
+(let: ([x : (Boxof Number) (box 1)]) x)
 
 (let ()
   (: x (Boxof Number))

collects/tests/typed-scheme/succeed/pr9043.ss

@@ -0,0 +1,10 @@
+#lang scheme/load
+
+(module foo scheme
+
+  (define-struct foo (x y))
+  (provide (struct-out foo)))
+
+(module client typed-scheme
+  (require-typed-struct foo ([x : Number] [y : Symbol]) 'foo))
+

collects/tests/typed-scheme/succeed/pr9046.ss

@@ -0,0 +1,11 @@
+#lang scheme/load
+
+;; provide another source to import srcloc? to avoid
+;; collisions with the version from mzscheme.
+(module srcloc scheme/base
+
+  (provide (rename-out [srcloc? s:srcloc?])))
+
+(module foo typed-scheme
+
+  (require/opaque-type Srcloc s:srcloc? 'srcloc))

collects/tests/typed-scheme/succeed/pr9048.ss

@@ -0,0 +1,14 @@
+#lang scheme/load
+
+(module source mzscheme
+
+    (require (lib "contract.ss"))
+
+    (define-struct ast (loc))
+
+    (provide/contract (struct ast ([loc srcloc?])))
+  )
+
+(module client typed-scheme
+  
+  (require-typed-struct ast ([loc : Any]) 'source))

collects/tests/typed-scheme/succeed/pr9053.ss

@@ -0,0 +1,17 @@
+#lang scheme/load
+
+(module source scheme/base
+
+  (define-struct term (posn))           ;; lambda-calc term w/ srcloc info
+  (define-struct (var term) (id))
+  (define-struct (lam term) (arg body))
+  (define-struct (app term) (rator rand))
+
+  (provide (all-defined-out)))
+
+(module client typed-scheme
+
+  (require-typed-struct term ([posn : Number]) 'source)
+  (require-typed-struct var (
+                             [id : Symbol])
+                        'source))

collects/tests/typed-scheme/succeed/pr9054.ss

@@ -0,0 +1,16 @@
+#lang scheme/load
+
+(module source mzscheme
+
+  (define-struct term (posn))           ;; lambda-calc term w/ srcloc info
+  (define-struct (var term) (id))
+  (define-struct (lam term) (arg body))
+  (define-struct (app term) (rator rand))
+
+  (provide (all-defined)))
+
+(module alias typed-scheme
+ 
+  (define-type-alias Srcloc Any)
+ 
+  (require-typed-struct term ([posn : Srcloc]) 'source))

collects/tests/typed-scheme/succeed/richard-bugs.ss

@@ -0,0 +1,8 @@
+#lang typed-scheme
+
+(: x : '())
+(define x '())
+
+
+(define-typed-struct even-struct ([x : (U #f odd-struct)]))
+(define-typed-struct odd-struct ([x : (U #f even-struct)]))