Add a test for generating GUI contracts for TR

2014-10-20 22:50:55 -04:00 · 2014-10-20 22:50:55 -04:00 · 3d4f7906c8
commit 3d4f7906c8
parent 99832efb45
1 changed files with 17 additions and 0 deletions
--- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/gui-contract.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/gui-contract.rkt
@ -0,0 +1,17 @@
+#lang racket/base
+
+;; Make sure contracts for GUI types can be generated in a
+;; reasonable amount of time and space.
+
+(require racket/sandbox)
+
+(call-with-limits
+ 120
+ 500
+ (λ () (eval '(begin (module a typed/racket
+                       (require typed/racket/gui)
+                       (define x (make-object bitmap% 100 100))
+                       (provide x))
+                     (require 'a)
+                     x)
+             (make-base-namespace))))