#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))))

Add a test for generating GUI contracts for TR
Add a test for generating GUI contracts for TR
