From 55c8541c820858092206a0c244cbe7fdec1013b6 Mon Sep 17 00:00:00 2001
From: Asumu Takikawa <asumu@ccs.neu.edu>
Date: Mon, 20 Oct 2014 22:50:55 -0400
Subject: [PATCH] Add a test for generating GUI contracts for TR

original commit: 3d4f7906c8ebd1e17337f8b6a39a51749c109bb8
---
 .../tests/typed-racket/succeed/gui-contract.rkt | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/gui-contract.rkt

diff --git 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
new file mode 100644
index 00000000..1bdd1dc7
--- /dev/null
+++ 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))))